Skip to main content
Proof Assistants Beta
return true's user avatar
return true's user avatar
return true's user avatar
return true
  • Member for 7 months
  • Last seen this week
Profile Activity
Stats
189
reputation
470
reached
1
answer
5
questions
Communities
View all
About

SOreadytohelp

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
1
Score
6
Posts
100
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
question
4
Error `Abstracting over the term leads to a term which is ill-typed` when doing a destruct
May 8
question
1
Using if-then-else in Program Definition's obligation
Jun 10
question
1
Prove that a function's result cannot dependent on Prop-valued parameters in Coq
Jul 5
question
1
Accessing nested typeclasses elegantly
Aug 9
answer
1
Using if-then-else in Program Definition's obligation
Jun 13
question
0
Ltac with explicit constructor not working
May 16
Top network posts
View all network posts
629
How can I make a button have a rounded border in Swift?
17
How can I make a UIRefreshControl smaller?
14
Get selected index tabbar controller Swift
8
Why are all my view controllers square shaped?
7
Coalescing Swift operator for an empty non-nil string