shared repo for a reading group on homotopy type theory
Primary LanguageCoq
No issues in this repository yet.