lean-dojo/LeanDojo
@lean-dojoडेटा निष्कर्षण और प्रोग्रामेटिक रूप से Lean के साथ इंटरैक्ट करने के लिए एक टूल।
स्टार
832
फ़ोर्क
118
भाषा
Python
लाइसेंस
MIT
आख़िरी push
8 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।