मालिक · leanprover-community

leanprover-community

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

4 रिपॉजिटरी

#1
mathlib4 ↗@leanprover-communityLean
Lean 4 की मैथ लाइब्रेरी
★ 3,989+15पिछले 7 दिनों में स्टार का बदलाव
#2
physlib ↗@leanprover-communityLean
भौतिकी के परिणामों को Lean में डिजिटल रूप देने के लिए एक प्रोजेक्ट।
★ 719+4पिछले 7 दिनों में स्टार का बदलाव
#3
mathematics_in_lean ↗@leanprover-communityHTML
Mathematics in Lean ट्यूटोरियल के लिए यूजर होम रिपॉजिटरी।
★ 584+2पिछले 7 दिनों में स्टार का बदलाव
#4
lean4game ↗@leanprover-communityTypeScript
Lean गेम्स होस्ट करने के लिए सर्वर
★ 549+5पिछले 7 दिनों में स्टार का बदलाव