theorem-proving
theorem-proving टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर theorem-proving के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और theorem-proving टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
Rocq Prover एक इंटरैक्टिव थ्योरम प्रोवर, या प्रूफ असिस्टेंट है। यह मशीन-जांच किए गए प्रमाणों के अर्द्ध-इंटरैक्टिव विकास के लिए एक वातावरण के साथ गणितीय परिभाषाओं, निष्पादित एल्गोरिदम और प्रमेयों को लिखने के लिए एक औपचारिक भाषा प्रदान करता है।
★ 5,562+4पिछले 7 दिनों में स्टार का बदलाव - #2★ 3,103+4पिछले 7 दिनों में स्टार का बदलाव
- #3
Lean में Theorem Proving के लिए Copilots के रूप में LLMs
★ 1,318+1पिछले 7 दिनों में स्टार का बदलाव - #4★ 1,190+2पिछले 7 दिनों में स्टार का बदलाव
- #5★ 832+1पिछले 7 दिनों में स्टार का बदलाव
- #6
HOL4 प्रमेय-प्रमाण प्रणाली के लिए कैनोनिकल स्रोत। 'develop' ब्रांच में मुख्य विकास होता है; जब यह रिग्रेशन टेस्ट पास कर लेता है, तो इसे 'master' ब्रांच में मर्ज कर दिया जाता है।
★ 757+2पिछले 7 दिनों में स्टार का बदलाव - #7★ 721+4पिछले 7 दिनों में स्टार का बदलाव
