4 ms·
I had read up on HoTT/UF after Voevodsky passed away. It seemed promising, has it developed much? It seemed like coq / UniMath had a reasonable community.
by throwaway5752 4y ago
I had read up on HoTT/UF after Voevodsky passed away. It seemed promising, has it developed much? It seemed like coq / UniMath had a reasonable community.