Prime numbers for Coq

Coq34lgpl-2.1

7 months ago

coqelliptic-curvespocklington-certificate

Coq6mit

last year

coq-formalizationfloating-pointieee-754

Solving the mini Rubik (2x2) in Coq

Coq3

11 months ago

2x2x2coqformalization

a version of the 2048 game for Coq

Coq22

6 months ago

2048coqgame

Extra contribution for mathcomp

Coq4mit

6 months ago

aks-algorithmbinomialcoq