🏷️ #OpenProver
1 مقال
أدوات
اكتشف OpenProver: نظام موحد لإثبات النظرية باستخدام Lean 4 بمساعدة الذكاء الاصطناعي!
أركايف للذكاء
منذ 3 شهر
👁 3
