Skip to main content
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 11 years, 11 months
  • Last seen more than 1 year ago
Stats
201
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.

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

This user hasn’t posted yet.