Top Questions

1. Is there a name for mapping recursive data types based on terminals and their ancestries?
   6 votes

   1 answers
2. How can I get C-c C-n to format the current line in proof-general coq-mode-map
   3 votes

   2 answers
3. How can I "specialize" a polymorphic type in Coq?
   1 votes

   1 answers