प्रोग्रामिंग भाषा · Lean
Lean
ट्रैक की गई वे ओपन सोर्स रिपॉजिटरी जिनकी मुख्य भाषा Lean है, स्टार के हिसाब से क्रमबद्ध।
12 रिपॉजिटरी
- #1lean4@leanprover
Lean 4 प्रोग्रामिंग भाषा और थ्योरम प्रूवर
★ 8,920+46पिछले 7 दिनों में स्टार का बदलाव - #2mathlib4@leanprover-community
Lean 4 की मैथ लाइब्रेरी
★ 3,958+42पिछले 7 दिनों में स्टार का बदलाव - #3analysis@teorth
Analysis I का एक Lean साथी
★ 1,876+10पिछले 7 दिनों में स्टार का बदलाव - #4formal-conjectures@google-deepmind
Lean में अनुमानों के औपचारिक बयानों का संग्रह।
★ 1,205+11पिछले 7 दिनों में स्टार का बदलाव - #5FLT@ImperialCollegeLondon
Fermat's Last Theorem के प्रमाण का Lean में चल रहा औपचारिक रूप।
★ 982+9पिछले 7 दिनों में स्टार का बदलाव - #6superhuman@google-deepmind★ 794+5पिछले 7 दिनों में स्टार का बदलाव
- #7physlib@leanprover-community
भौतिकी के परिणामों को Lean में डिजिटल रूप देने के लिए एक प्रोजेक्ट।
★ 712+9पिछले 7 दिनों में स्टार का बदलाव - #8Cosette@uwdb
Cosette एक ऑटोमेटेड SQL सॉल्वर है
★ 686+0पिछले 7 दिनों में स्टार का बदलाव - #9cslib@leanprover
लीन कंप्यूटर साइंस लाइब्रेरी (CSLib)
★ 671+11पिछले 7 दिनों में स्टार का बदलाव - #10smalltt@AndrasKovacs
उच्च-प्रदर्शन टाइप थ्योरी इलैबोरेशन के लिए डेमो
★ 597+3पिछले 7 दिनों में स्टार का बदलाव - #11equational_theories@teorth
Magmas के विभिन्न समीकरण सिद्धांतों के बीच संबंधों को मैप करने के लिए एक प्रोजेक्ट।
★ 550+1पिछले 7 दिनों में स्टार का बदलाव - #12SciLean@lecopivo
Lean 4 में वैज्ञानिक कंप्यूटिंग
★ 525+2पिछले 7 दिनों में स्टार का बदलाव
