1
Memformalkan teori Tipe Homotopy di Idris
Melihat blog teori tipe homotopy seseorang dapat dengan mudah menemukan banyak perpustakaan memformalkan sebagian besar Teori Tipe Homotopy di Agda dan Coq. Adakah yang tahu jika ada upaya serupa untuk memformalkan HoTT di Idris ?