https://github.com/thery/coqprime
Coq37
7 months ago
Prime numbers for Coq
GNU Lesser General Public License v2.1
Coq6mit
2 years ago
coq-formalizationfloating-pointieee-754
Solving the mini Rubik (2x2) in Coq
Coq4
2x2x2coqformalization
Hanoi tower in Coq
Coq23mit
last year
Extra contribution for mathcomp
Coq5mit
2 months ago
aks-algorithmbinomialcoq
