Proof Assistants Meta
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 11 months
  • Last seen more than a week ago
Profile Activity
Stats
1,439
reputation
128
reached
1
answer
1
question
Communities
View all
About
I'm a mathematical physicist, working as a programmer, etc.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
7
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
7
Should questions arising from computational logic be asked?
Feb 9, 2022
question
2
Code Reviews on topic?
May 27, 2022
Top network posts
View all network posts
24
What was the 1st Proof Assistant?
23
Bourbaki's definition of the number 1
18
Where can I find lists of theorems that have been verified?
17
In what sense is the renormalization group equation a group?
16
Three integrals in Peskin's Textbook

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.