proof-assistant
proof-assistant टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर proof-assistant के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और proof-assistant टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
Rocq Prover एक इंटरैक्टिव थ्योरम प्रोवर, या प्रूफ असिस्टेंट है। यह मशीन-जांच किए गए प्रमाणों के अर्द्ध-इंटरैक्टिव विकास के लिए एक वातावरण के साथ गणितीय परिभाषाओं, निष्पादित एल्गोरिदम और प्रमेयों को लिखने के लिए एक औपचारिक भाषा प्रदान करता है।
★ 5,562+4पिछले 7 दिनों में स्टार का बदलाव - #2★ 3,103+4पिछले 7 दिनों में स्टार का बदलाव
- #3★ 2,922+3पिछले 7 दिनों में स्टार का बदलाव
- #4
आर्टिफिशियल इंटेलिजेंस को लोकलाइज करने और अधिक मूल्यांकित Y Combinator स्टार्टअप्स के लिए मुफ्त, ओपन-सोर्स विकल्प प्रदान करने के लिए डिज़ाइन किए गए एंटरप्राइज़-ग्रेड AI एजेंटों की एक लाइब्रेरी।
★ 2,806+7पिछले 7 दिनों में स्टार का बदलाव - #5
Agda में प्रोग्रामिंग भाषा सिद्धांत का परिचय
★ 1,514+0पिछले 7 दिनों में स्टार का बदलाव - #6★ 558+2पिछले 7 दिनों में स्टार का बदलाव
- #7★ 547+0पिछले 7 दिनों में स्टार का बदलाव
- #8★ 508+1पिछले 7 दिनों में स्टार का बदलाव
