This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Repository Index
61,275 visible repositories in the index
1–4 of 4 · Most stars
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm