Laurent Théry

icon indicating a website link http://www-sop.inria.fr/marelle/Laurent.Thery/me.html

icon company INRIA icon location Sophia Antipolis, France

Results 3 repositories owned by Laurent Théry

coqprime

37
Stars
18
Forks
Watchers

Prime numbers for Coq

verified publisher icon thery

hanoi

23
Stars
1
Forks
Watchers

Hanoi tower in Coq

verified publisher icon thery

T2048

22
Stars
1
Forks
Watchers

a version of the 2048 game for Coq

verified publisher icon thery