Top Questions

1. Coq: rewriting under if-then-else
   4 votes

   1 answers
2. Coq: parametric rewriting under binders
   2 votes

   0 answers
3. Coinductive principle for streams
   2 votes

   0 answers
4. Coq: rewriting under a pointwise_relation
   1 votes

   1 answers