proof assistant الإنجليزية (Q223186)
software tool to assist with the development of formal proofs by human-machine collaboration الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | proof assistant |
software tool to assist with the development of formal proofs by human-machine collaboration |
|
بيانات
Wikidata item الإنجليزية
subclass of الإنجليزية
topic's main category الإنجليزية
has use الإنجليزية
uses الإنجليزية
Microsoft Academic ID الإنجليزية
Freebase ID الإنجليزية
instance of الإنجليزية