/HoTT-book-agda

Agda proofs of the HoTT book exercises

Primary LanguageAgda

Watchers