मुख्य सामग्री पर जाएँ
buildradar
Sign in
विषय · rocq-library

rocq-library

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

रिपॉजिटरी
2
कुल स्टार
1,715
औसत स्टार
858
हिस्सा
0.00%

वे विषय जो अक्सर एक ही रिपॉजिटरी पर rocq-library के साथ आते हैं।

हाल में उभरे

पिछले 90 दिनों में बनी और rocq-library टैग वाली रिपॉजिटरी।

पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।

  • UniMath@UniMath

    यह rocq लाइब्रेरी univalent दृष्टिकोण का उपयोग करके गणित के एक बड़े हिस्से को औपचारिक रूप देने का लक्ष्य रखती है।

    1,019+2पिछले 7 दिनों में स्टार का बदलाव
  • math-comp@math-comp

    मैथमैटिकल कंपोनेंट्स

    696+1पिछले 7 दिनों में स्टार का बदलाव
← विषयों पर वापस