jwiegley/category-theory
@jwiegleyFormalisasi teori kategori bebas aksioma di Coq untuk studi pribadi dan pekerjaan praktis
Bintang
808
Fork
83
Bahasa
Rocq Prover
Lisensi
BSD-3-Clause
Push terakhir
1 hari yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.