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