Popular repositories Loading

1. Prime numbers for Coq

   Rocq Prover 44 18

2. Hanoi tower in Coq

   Rocq Prover 26 1

3. a version of the 2048 game for Coq

   Rocq Prover 22 1

4. Tactic for polynomial manipulations

   Rocq Prover 13 1

5. A fornalisation of Grobner basis in ssreflect

   Rocq Prover 12 3