Skip to content

GitLab

Explore

Sign in
Register

C

coq-hott

Project information

Coq library for homotopy type theory

40 Commits
3 Branches
19 Tags

README
BSD 2-Clause "Simplified" License

Created on

June 27, 2022

Copy SSH clone URLgit@salsa.debian.org:ocaml-team/coq-hott.git
Copy HTTPS clone URLhttps://salsa.debian.org/ocaml-team/coq-hott.git

Loading