Related apps

coqprime

Prime numbers for Coq

Coq34lgpl-2.1

7 months ago

coqelliptic-curvespocklington-certificate

minirubik

Solving the mini Rubik (2x2) in Coq

Coq3

11 months ago

2x2x2coqformalization

T2048

T2048

a version of the 2048 game for Coq

Coq22

6 months ago

2048coqgame

hanoi

Hanoi tower in Coq

Coq23mit

6 months ago

mathcomp-extra

Extra contribution for mathcomp

Coq4mit

6 months ago

aks-algorithmbinomialcoq