Alex Nelson
1,238
reputation
7
17
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.