C

coq-hott

Project information

Coq library for homotopy type theory

52 Commits
3 Branches
23 Tags

README
BSD 2-Clause "Simplified" License

Created on

June 27, 2022

Loading