Eric Schulte writes:
> See the attached example file. This is very rudimentary, only
> supporting session evaluation and without support for smart translation
> between Org-mode and Coq data structures.
Very nice, thanks a lot!
I use org mode with Coq, but only to document Coq developments. Se
See the attached example file. This is very rudimentary, only
supporting session evaluation and without support for smart translation
between Org-mode and Coq data structures.
See the attached example file.
Coq http://coq.inria.fr/
1. Require supporting libraries.
#+begin_src coq
Requir