Top Questions

1. Cannot guess decreasing argument of fix for nested match in Coq
   5 votes

   2 answers
2. How to formalize Σ-algebras in Coq?
   4 votes

   0 answers
3. How to formalize the termination of a term reduction relation in Coq?
   3 votes

   1 answers