🏷️ #البراهين
1 مقال
أبحاث
ثورة CAPRI: تعزيز تصحيح براهين Isabelle باستخدام نماذج لغوية ضخمة!
أركايف للذكاء
منذ 15 ساعة
