Proof Assistants Beta
Cris P's user avatar
Cris P's user avatar
Cris P's user avatar
Cris P
  • Member for 1 year, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
305
reputation
648
reached
1
answer
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
10
Performance of de Bruijn indices?
Feb 28, 2022
question
6
Policies on introducing free variables when rewriting?
Apr 22, 2022
answer
4
Proof assistants for forward reasoning?
Feb 12, 2022
Top network posts
View all network posts
31
Get the fingerprint of an existing SSH public key
6
How to determine whether a proof requires "higher-order reasoning techniques"?

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.