HoTT/Coq-HoTT
@HoTTPustaka Coq untuk Homotopy Type Theory
Bintang
1.405
Fork
203
Bahasa
Rocq Prover
Lisensi
NOASSERTION
Push terakhir
2 minggu 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.