Baptiste-Pollien

Baptiste-Pollien

Config files for my GitHub profile.

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.

coq-stats

Coq'Stats is a program to get statistics about Coq projects

dossier-competence

pacrust

A PacMan game implemented in Rust inspired by PacGo.

project_euler

My solution for Project Euler problems

ProjectToLatexRef

www

Personal website based on the template https://github.com/wowchemy/starter-hugo-academic

Baptiste-Pollien/coq-stats

Coq'Stats is a program to get statistics about Coq projects

Baptiste-Pollien/pacrust

A PacMan game implemented in Rust inspired by PacGo.

Baptiste-Pollien/Baptiste-Pollien

Config files for my GitHub profile.

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/dossier-competence

Baptiste-Pollien/project_euler

My solution for Project Euler problems

Baptiste-Pollien/ProjectToLatexRef

Baptiste-Pollien/www

Personal website based on the template https://github.com/wowchemy/starter-hugo-academic