Top Questions

1. Creating Coq tactic: how to use a newly generated name?
   3 votes

   1 answers
2. Coq - Obtaining equality from match statement
   2 votes

   1 answers
3. Java application - Space vs Enter for activating buttons on Mac
   2 votes

   1 answers
4. Coq: goal is just a type (when using theorems with unnecessary arguments)
   1 votes

   2 answers