🏷️ #Mathlib
2 مقال
أدوات
اكتشفوا "ProofJudge": الأداة الثورية لتقييم جودة إثباتات الرياضيات!
أركايف للذكاء
منذ 11 يوم
👁 1
أبحاث
ثورة جديدة في الرياضيات: PriorProof تقيس أفكار الإثبات الفريدة بدقة زمنية!
أركايف للذكاء
منذ 1 شهر
👁 1
