1
İdrisde Homotopi Türü teorisinin resmileştirilmesi
Homotopy türü teorisi bloguna bakıldığında, Agda ve Coq'daki Homotopy Type Theory'nin çoğunu resmileştiren çok sayıda kütüphane kolayca bulunabilir. Orada kimse Hott resmileştirmek benzer herhangi bir girişim varsa farkında mı İdris ?