lean-dojo/LeanCopilot
@lean-dojoLean में Theorem Proving के लिए Copilots के रूप में LLMs
स्टार
1,318
फ़ोर्क
128
भाषा
C++
लाइसेंस
MIT
आख़िरी push
2 सप्ताह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।