Top Questions

1. Proof by cases on a boolean expression in Coq
   4 votes

   1 answers
2. Split a list of integers into sublists of equal sum in linear time
   3 votes

   1 answers
3. How does a z3 certificate look like?
   3 votes

   1 answers
4. Does lean enhance proof surveyability?
   2 votes

   1 answers
5. What's a cterm?
   2 votes

   2 answers