Alex Nelson
199
reputation
6
I'm a mathematical physicist, working as a programmer, etc.
Blog: Ariadne's thread Navigating the Labyrinth of Formal Proofs with Mizar
Notebook full of PDFs.