Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Projects
Coq'Stats
Coq’Stats is a program to get statistics about Coq projects.
Repository
Cite
×