Baptiste-Pollien

PhD student in Formal Methods

ISAE-SUPAEROFrance

Pinned Repositories

coq-stats
Coq'Stats is a program to get statistics about Coq projects
Language:Rust40
pacrust
A PacMan game implemented in Rust inspired by PacGo.
Language:Rust20
Baptiste-Pollien
Config files for my GitHub profile.
00
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml00
dossier-competence
00
project_euler
My solution for Project Euler problems
Language:Python00
ProjectToLatexRef
Language:Python00
www
Personal website based on the template https://github.com/wowchemy/starter-hugo-academic
Language:HTML00

Baptiste-Pollien's Repositories

Baptiste-Pollien/www
Personal website based on the template https://github.com/wowchemy/starter-hugo-academic
Language:HTML
Baptiste-Pollien/dossier-competence
Baptiste-Pollien/ProjectToLatexRef
Language:Python
Baptiste-Pollien/pacrust
A PacMan game implemented in Rust inspired by PacGo.
Language:Rust2
Baptiste-Pollien/coq-stats
Coq'Stats is a program to get statistics about Coq projects
Language:Rust4
Baptiste-Pollien/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Baptiste-Pollien/project_euler
My solution for Project Euler problems
Language:Python
Baptiste-Pollien/Baptiste-Pollien
Config files for my GitHub profile.