विषय · proof
proof
proof टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
8
कुल स्टार
7,070
औसत स्टार
884
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर proof के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और proof टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1★ 1,834+4पिछले 7 दिनों में स्टार का बदलाव
- #2
Rust के लिए फॉर्मल वेरिफिकेशन टूल: अधिक सुरक्षित एप्लिकेशन बनाने के लिए अपने प्रोग्राम के 100% निष्पादन मामलों की जांच करें।
★ 1,161+3पिछले 7 दिनों में स्टार का बदलाव - #3
एक उन्नत SAT सॉल्वर
★ 940+1पिछले 7 दिनों में स्टार का बदलाव - #4
CreuSAT - Rust में लिखा गया और Creusot के साथ सत्यापित एक औपचारिक रूप से सत्यापित SAT सॉल्वर।
★ 696+5पिछले 7 दिनों में स्टार का बदलाव - #5
Agda स्टैंडर्ड लाइब्रेरी।
★ 675+0पिछले 7 दिनों में स्टार का बदलाव - #6★ 633+3पिछले 7 दिनों में स्टार का बदलाव
- #7★ 625+0पिछले 7 दिनों में स्टार का बदलाव
- #8★ 507+0पिछले 7 दिनों में स्टार का बदलाव
