Category:Proof assistants الإنجليزية (Q2214003)
تصنيف ويكيميديا
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
تصنيف ويكيميديا |
|
| الإنجليزية | Category:Proof assistants |
Wikimedia category |
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
تصنيف ويكيميديا |
|
| الإنجليزية | Category:Proof assistants |
Wikimedia category |