rzk-lang / hottbookLinks

HoTT Book formalisations in Rzk.
18Updated last year

Alternatives and similar repositories for hottbook

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

Sorting: