Skip to main content
Pierre Castéran's user avatar
Pierre Castéran's user avatar
Pierre Castéran's user avatar
Pierre Castéran
  • Member for 2 years, 3 months
  • Last seen more than a month ago
Stats
663
reputation
3k
reached
21
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).

This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
41
Score
21
Posts
100
Posts %
5
Score
5
Posts
24
Posts %
5
Score
2
Posts
10
Posts %
3
Score
2
Posts
10
Posts %
3
Score
1
Posts
5
Posts %
3
Score
1
Posts
5
Posts %
Top posts
View all questions and answers