1
इदरिस में होमोटॉपी प्रकार के सिद्धांत का गठन
होमटॉप्टी टाइप थ्योरी ब्लॉग को देखकर, आसानी से एजडा और कोक में अधिकांश होमोटोपी टाइप थ्योरी को औपचारिक रूप देने वाली बहुत सी लाइब्रेरी मिल सकती है। क्या किसी को पता है कि क्या इदरीस में HoTT को औपचारिक रूप देने की कोई समान कोशिश है ?