Proof Assistants Beta
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 1 year, 10 months
  • Last seen this week
Profile Activity
Stats
1,459
reputation
6k
reached
18
answers
4
questions
Communities
View all
About
I'm a mathematical physicist, working as a programmer, etc.
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
19
bronze badges
Top tags
View all tags
26
Score
2
Posts
9
Posts %
25
Score
2
Posts
9
Posts %
21
Score
5
Posts
23
Posts %
13
Score
2
Posts
9
Posts %
11
Score
1
Posts
5
Posts %
10
Score
3
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
23
What was the 1st Proof Assistant?
Feb 8, 2022
answer
18
Where can I find lists of theorems that have been verified?
Feb 9, 2022
answer
11
What is the difference between judgmental equality, definitional equality, and equality types?
Feb 10, 2022
answer
11
What are good books for learning about proof assistants for Functional Analysis?
Feb 10, 2022
question
10
Reasoning with the definition of Standard ML
Feb 11, 2022
answer
7
PDEs and proof assistants
Feb 11, 2022
answer
7
Can theorem provers be used to form foundations for programming languages?
Feb 9, 2022
answer
6
Understanding "saturating" theorem provers
Feb 12, 2022
question
6
Probability and the de Bruijn Criterion
Feb 10, 2022
answer
5
Proof assistants for forward reasoning?
Feb 12, 2022
Top Meta posts
1
1
7
Should questions arising from computational logic be asked?
Top network posts
View all network posts
23
Bourbaki's definition of the number 1
17
In what sense is the renormalization group equation a group?
17
What's wrong with the square root version of the Klein-Gordon equation?
16
Three integrals in Peskin's Textbook
16
Is there any geometric way to characterize $e$?

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.