विषय · cartesian
cartesian
cartesian टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
1
कुल स्टार
807
औसत स्टार
807
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर cartesian के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और cartesian टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
व्यक्तिगत अध्ययन और व्यावहारिक कार्य के लिए Coq में कैटेगरी थ्योरी का एक एक्सिओम-फ्री फॉर्मूलाइजेशन
★ 807+1पिछले 7 दिनों में स्टार का बदलाव
