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, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
127
reputation
977
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.
4
bronze badges
Top tags
0
Score
4
Posts
80
Posts %
0
Score
3
Posts
60
Posts %
0
Score
1
Posts
20
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
Jul 5
1
Dependent sum and equality with Coq
Apr 22, 2023
1
Problems with dependent sums
Jun 11
1
Trying to use 'Equations'
Jun 18