/HoTT-book-agda

Agda proofs of the HoTT book exercises

Primary LanguageAgda

This repository is not active