Top Questions

1. Difference between parameters and members of a class
   4 votes

   2 answers
2. Unable to split a conjunction in Hypothesis
   3 votes

   1 answers
3. Good way of testing a class in Coq
   2 votes

   1 answers
4. Proof with multiple cases theorem
   1 votes

   2 answers
5. Proof with forall for a particular term
   1 votes

   1 answers