Proof Assistants Beta
tarzh's user avatar
tarzh's user avatar
tarzh's user avatar
tarzh
  • Member for 6 months
  • Last seen more than a week ago
Profile Activity
Stats
291
reputation
3k
reached
4
answers
0
questions
Communities
About

PhD student

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
View all tags
10
Score
2
Posts
50
Posts %
8
Score
1
Posts
25
Posts %
8
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
8
Why are these two proofs so different?
Nov 16, 2022
answer
4
Definitional vs propositional equality
Nov 13, 2022
answer
2
What proof assistants can reason about the complexity of its *own* programs?
Mar 3
answer
2
Inductive vs. recursive definitions
May 1
Top network posts
View all network posts
6
Where do we draw the line between suspicion, and evidence, of cheating on an exam?

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.