Pierre Castéran
-
Member for 1 year, 2 months
-
Last seen more than a week ago
Stats
466
reputation
980
reached
15
answers
0
questions
Loading…
About
I'm interested in using and teaching theoretical computer science and interactive theorem proving.
In 2004, Yves Bertot and me published the first book on Coq: "Interactive Theorem Proving and Program Development" (a.k.a. "Coq'Art") https://www-sop.inria.fr/lemme/Yves.Bertot/coqart.html .
I'm a member of https://github.com/coq-community, and developper of the https://github.com/coq-community/hydra-battles project (library and book about entertaining math in Coq).
Badges
Top tags
View all tags
26
Score
15
Posts
100
Posts %
5
Score
5
Posts
33
Posts %
3
Score
2
Posts
13
Posts %
3
Score
1
Posts
7
Posts %
3
Score
1
Posts
7
Posts %
1
Score
2
Posts
13
Posts %