rzk-lang / hottbook

HoTT Book formalisations in Rzk.
17Updated last year

Alternatives and similar repositories for hottbook:

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