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