thehottgame / TheHoTTGameLinks

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
127Updated last year

Alternatives and similar repositories for TheHoTTGame

Users that are interested in TheHoTTGame are comparing it to the libraries listed below

Sorting: