Will Do
Thoughts on technology, the world, and life

French

Coq Master

Learning a theorem prover with an unfortunate-sounding name

π