Skip to main content
Proof Assistants Beta
8bc3 457f's user avatar
8bc3 457f's user avatar
8bc3 457f's user avatar
8bc3 457f
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
224
reputation
1k
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
6
Inductive vs. recursive definitions
Apr 30, 2023
3
How to abstract over function arity in Lean and Coq?
Mar 14, 2023
2
Debug autorewrite in Coq
Apr 30, 2023