Skip to main content
Proof Assistants Beta
Pavel Shuhray's user avatar
Pavel Shuhray's user avatar
Pavel Shuhray's user avatar
Pavel Shuhray
  • Member for 2 years, 4 months
  • Last seen this week
Profile Activity
Stats
127
reputation
866
reached
0
answers
5
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
4
Posts
80
Posts %
0
Score
3
Posts
60
Posts %
0
Score
1
Posts
20
Posts %
Top posts
6
What is the state of Nuprl and Extensional Type Theory?
Aug 4, 2023
2
Uniqueness of proofs for inductively defined predicates
19 hours ago
1
Dependent sum and equality with Coq
Apr 22, 2023
1
Problems with dependent sums
Jun 11
1
Trying to use 'Equations'
Jun 18