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
2,915
reputation
105k
reached
64
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.

1
gold badge
20
silver badges
25
bronze badges
63
Score
24
Posts
38
Posts %
55
Score
13
Posts
20
Posts %
35
Score
11
Posts
17
Posts %
32
Score
10
Posts
16
Posts %
27
Score
6
Posts
9
Posts %
25
Score
7
Posts
11
Posts %
Top posts
View all questions and answers