We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Restore Installation Instructions
Remove most of the content It was moved to the documentation
Coq 8.20
Instructions for debian/apt
mathcomp 2.2, mathcomp-word 3.2
Coq 8.19
mathcomp 1.19
Coqword 2.4
Coq 8.18, mathcomp 1.18
Coq 8.17
Updated Installation instructions (markdown)
mathcomp-word 2.1
Coq 8.16 & OCaml 4.14
mathcomp update
coqword
opam
camlidl
master → main
menhirLib
Coq 8.14, mathcomp 1.12, OCaml 4.12
Coq 8.12
We use OCaml 4.09
Download link
Installation instructions