Proof Assistants Beta
8bc3 457f's user avatar
8bc3 457f's user avatar
8bc3 457f's user avatar
8bc3 457f
  • Member for 1 year, 2 months
  • Last seen this week
Profile Activity
Stats
224
reputation
914
reached
0
answers
3
questions
Communities
View all
About

Just me.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
0
Score
3
Posts
100
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 %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
6
Inductive vs. recursive definitions
Apr 30
question
3
How to abstract over function arity in Lean and Coq?
Mar 14
question
2
Debug autorewrite in Coq
Apr 30

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.