The Coq mailing list

[Thorsten Altenkirch <txa AT Cs.Nott.AC.UK>]

Hi everybody,

I am preparing some lecture notes using latex and I'd like to explain
some coq proofs, displaying the changing proof state in my notes. Is
there any tool support for this? It seems that neither coqdoc or
coq-tex are up to the job.

Obviously, it is rather doubtful whether paper is the best way to
present a proof and maybe one should step through a proof using coqide
and diplay the comments in a different window. However, for the moment
I'd be happy if there is an easy way to avoid lots of ugly verbatims
in my notes.

Cheers,
Thorsten


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.