SpiceQA
Questions
Tags
Users
Badges
user_5495050
@user_5495050
0
reputation
0
answers
2
questions
About Me
// Hello, World !
Top Answers
Top Questions
Why do I get this exception on an induction rule for a lemma?
1 votes
1 answers
How do I prove a subgoal with bound variables with assumptions that have schematic variable?
1 votes
1 answers
