coqprime in coq-community/awesome-coq

Prime numbers for Coq

created at Oct. 31, 2017, 12:29 p.m.

2 +0

37 +0

18 +0

hanoi in coq-community/awesome-coq

Hanoi tower in Coq

created at April 2, 2019, 1:36 p.m.

1 +0

23 +0

1 +0

T2048 in coq-community/awesome-coq

a version of the 2048 game for Coq

created at Feb. 13, 2020, 4:29 p.m.

1 +0

22 +0

1 +0

FlocqLecture in coq-community/awesome-coq

None

created at Dec. 21, 2018, 11:10 a.m.

2 +0

7 +0

1 +0

mathcomp-extra in coq-community/awesome-coq

Extra contribution for mathcomp

created at July 18, 2019, 11:59 a.m.

3 +0

5 +0

2 +0

minirubik in coq-community/awesome-coq

Solving the mini Rubik (2x2) in Coq

created at March 15, 2019, 11:37 a.m.

1 +0

4 +0

0 +0