Skip to main content
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 2 years, 3 months
  • Last seen this week
Stats
1,564
reputation
7k
reached
20
answers
5
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.

This user doesn’t have any gold badges yet.
6
silver badges
21
bronze badges
26
Score
2
Posts
8
Posts %
25
Score
2
Posts
8
Posts %
21
Score
5
Posts
20
Posts %
14
Score
2
Posts
8
Posts %
10
Score
4
Posts
16
Posts %
10
Score
2
Posts
8
Posts %
Top posts
View all questions and answers