Thoughts, stories and ideas.
Creator of Pythagora Blog
The official blog for the Loops project.
Des guides pratiques pour optimiser et maîtriser vos outils informatiques
Supporting the Succinct Prover Network
Pythagora
