विषय · formal-mathematics
formal-mathematics
formal-mathematics टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
2
कुल स्टार
2,538
औसत स्टार
1,269
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर formal-mathematics के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और formal-mathematics टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
Lean में Theorem Proving के लिए Copilots के रूप में LLMs
★ 1,318+1पिछले 7 दिनों में स्टार का बदलाव - #2
Lean में अनुमानों के औपचारिक बयानों का संग्रह।
★ 1,220+13पिछले 7 दिनों में स्टार का बदलाव
