Top Answers

1. How does one inspect what more complicated tactics do in Coq step-by-step?
   4 votes
2. coq induction with passing in equality
   3 votes
3. Rewrite hypothesis in Coq, keeping implication
   2 votes
4. why does `make` using _CoqProject in coqide differ from `coqc` on the commandline?
   2 votes
5. How can I split a list in half in coq?
   2 votes