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, 2 months
  • Last seen this week
Stats
379
reputation
9k
reached
2
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
7
bronze badges
23
Score
1
Posts
50
Posts %
23
Score
1
Posts
50
Posts %
23
Score
1
Posts
50
Posts %
23
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
Top posts