Skip to main content
Proof Assistants Beta
mobotsar's user avatar
mobotsar's user avatar
mobotsar's user avatar
mobotsar
  • Member for 2 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
135
reputation
821
reached
1
answer
2
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
4
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
6
How does one show termination of a function that is structurally recursive over a type T with subterms of type List T?
Jul 7, 2023
4
I'm stuck trying to prove ∀x : ℕ, 3 | (x + 5x) with Coq
May 9, 2022
3
I'm stuck trying to prove ∀x : ℕ, 3 | (x + 5x) with Coq
May 9, 2022