Skip to main content
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 12 years, 1 month
  • Last seen more than 2 years ago
Stats
1,070
reputation
0
reached
0
answers
0
questions
Loading…
About

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.

This user doesn’t have any gold badges yet.
5
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.