🏷️ #LRAT-Catcher
1 مقال
أبحاث
اكتشاف أداة LRAT-Catcher: استيراد شهادات SAT Solver إلى Lean4 بذكاء
أركايف للذكاء
منذ 12 ساعة