Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

C

coq-unimath
- Activity
- Members
- Labels
- Wiki
- Environments

Snippets Groups Projects

- Debian OCaml Maintainers
coq-unimath

C

coq-unimath

Project ID: 71657

Project information

univalent formalization of mathematics for Coq

39 Commits
3 Branches
21 Tags

README
LICENSE

Created on

July 16, 2022

Select Git revision

0 results

coq-unimath

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

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

Prepare upload to unstable

Stephane Glondu authored 4 weeks ago

540327cd

540327cd 4 weeks ago

Name	Last commit	Last update