Category:Proof assistants ^{الإنجليزية} (Q2214003)

تصنيف ويكيميديا

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

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

instance of ^{الإنجليزية}

١ مراجع

category's main topic ^{الإنجليزية}

proof assistant ^{الإنجليزية}

١ مراجع