مساعد إثبات

الأدوات البرمجية, التعليم, المنطق الرياضي, رياضيات, علوم الحاسوب

ميتا ماث (Metamath)

إثبات, برمجيات, تعليم, منطق

جابي (Jape)