मालिक · lean-dojo

lean-dojo

lean-dojo की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।

2 रिपॉजिटरी

#1
LeanCopilot ↗@lean-dojoC++
Lean में Theorem Proving के लिए Copilots के रूप में LLMs
★ 1,318+1पिछले 7 दिनों में स्टार का बदलाव
#2
LeanDojo ↗@lean-dojoPython
डेटा निष्कर्षण और प्रोग्रामेटिक रूप से Lean के साथ इंटरैक्ट करने के लिए एक टूल।
★ 832+1पिछले 7 दिनों में स्टार का बदलाव