https://github.com/thery/minirubik
Coq4
2 years ago
Solving the mini Rubik (2x2) in Coq
Prime numbers for Coq
Coq37lgpl-2.1
7 months ago
coqelliptic-curvespocklington-certificate
Coq6mit
coq-formalizationfloating-pointieee-754
Hanoi tower in Coq
Coq23mit
last year
Extra contribution for mathcomp
Coq5mit
2 months ago
aks-algorithmbinomialcoq
