Modeling and Proving in Computational Type Theory
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Various useful scripts for dealing with Coq files
47,133 repositories indexed
1–3 of 3 · Most stars
Modeling and Proving in Computational Type Theory
Prime numbers for Coq
Various useful scripts for dealing with Coq files