Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 11 years, 5 months
  • Last seen more than a month ago
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.
This user doesn’t have any silver badges yet.
9
bronze badges
Top tags
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts