https://github.com/thery/mathcomp-extra
Coq5
last month
Extra contribution for mathcomp
MIT License
Prime numbers for Coq
Coq37lgpl-2.1
6 months ago
coqelliptic-curvespocklington-certificate
Coq6mit
2 years ago
coq-formalizationfloating-pointieee-754
Solving the mini Rubik (2x2) in Coq
Coq4
last year
2x2x2coqformalization
Hanoi tower in Coq
Coq23mit
