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
  • Last seen this week
Stats
1,238
reputation
76k
reached
27
answers
1
question
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.
7
silver badges
17
bronze badges
24
Score
2
Posts
7
Posts %
15
Score
4
Posts
14
Posts %
13
Score
2
Posts
7
Posts %
13
Score
2
Posts
7
Posts %
12
Score
4
Posts
14
Posts %
12
Score
3
Posts
11
Posts %
Top posts
View all questions and answers