HoTT/book
@HoTTBuku teks tentang teori tipe homotopi informal
Bintang
2.168
Fork
378
Bahasa
TeX
Lisensi
—
Push terakhir
3 bulan 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.