jwiegley/category-theory
@jwiegleyव्यक्तिगत अध्ययन और व्यावहारिक कार्य के लिए Coq में कैटेगरी थ्योरी का एक एक्सिओम-फ्री फॉर्मूलाइजेशन
स्टार
808
फ़ोर्क
83
भाषा
Rocq Prover
लाइसेंस
BSD-3-Clause
आख़िरी push
9 घंटे पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।