विषय · rocq
rocq
rocq टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
4
कुल स्टार
3,426
औसत स्टार
857
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर rocq के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और rocq टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
Rust के लिए फॉर्मल वेरिफिकेशन टूल: अधिक सुरक्षित एप्लिकेशन बनाने के लिए अपने प्रोग्राम के 100% निष्पादन मामलों की जांच करें।
★ 1,161+0पिछले 7 दिनों में स्टार का बदलाव - #2
यह rocq लाइब्रेरी univalent दृष्टिकोण का उपयोग करके गणित के एक बड़े हिस्से को औपचारिक रूप देने का लक्ष्य रखती है।
★ 1,019+2पिछले 7 दिनों में स्टार का बदलाव - #3★ 696+1पिछले 7 दिनों में स्टार का बदलाव
- #4★ 550+1पिछले 7 दिनों में स्टार का बदलाव
