Top Answers

1. Tactic for existential hypothesis
   3 votes
2. How to get a better proof style in Coq?
   2 votes
3. How do I show that if a hypothesis implies not, it's the same as saying the proposition equals false (coq)?
   1 votes
4. How to prove insert_BST in Coq
   1 votes
5. Evaluate constant inequation in Coq
   1 votes