Top Answers

1. What is difference between `destruct` and `case_eq` tactics in Coq?
   16 votes
2. How does decidable equality works with List.remove?
   5 votes
3. Configure OPAM switch for installation of Coq packages
   3 votes
4. Coq tactic to sort a list?
   3 votes
5. How to do induction on BinNums.Z in Coq/
   2 votes