Popular repositories Loading

1. coqprime coqprime Public

   Prime numbers for Coq

   Rocq Prover 42 18

2. hanoi hanoi Public

   Hanoi tower in Coq

   Rocq Prover 26 1

3. T2048 T2048 Public

   a version of the 2048 game for Coq

   Coq 22 1

4. grobner grobner Public

   A fornalisation of Grobner basis in ssreflect

   Rocq Prover 12 3

5. PolTac PolTac Public

   Tactic for polynomial manipulations

   Coq 12 1

6. FlocqLecture FlocqLecture Public

   Coq 8 1