coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: François Pottier <francois.pottier AT inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Pretty conversion of Coq to HTML?
- Date: Wed, 12 Jul 2017 15:02:57 +0200
Hello,
I believe I have seen somewhere (during an academic presentation, probably) a
tool that converts Coq files to HTML files, with the feature that pointing the
mouse cursor anywhere in the middle of a rendered proof script causes the
current proof state (hypotheses and goal) to be displayed. I can't remember
how it is called, and I can't find it, though. Any help would be welcome.
Thanks,
--
François Pottier
francois.pottier AT inria.fr
http://gallium.inria.fr/~fpottier/
- [Coq-Club] Pretty conversion of Coq to HTML?, François Pottier, 07/12/2017
- Re: [Coq-Club] Pretty conversion of Coq to HTML?, Abhishek Anand, 07/12/2017
- Re: [Coq-Club] Pretty conversion of Coq to HTML?, Gaetan Gilbert, 07/12/2017
- Re: [Coq-Club] Pretty conversion of Coq to HTML?, Lélio Brun, 07/14/2017
- Re: [Coq-Club] Pretty conversion of Coq to HTML?, Gabriel Scherer, 07/14/2017
- Re: [Coq-Club] Pretty conversion of Coq to HTML?, Emilio Jesús Gallego Arias, 07/15/2017
- Re: [Coq-Club] Pretty conversion of Coq to HTML?, Gabriel Scherer, 07/14/2017
- Re: [Coq-Club] Pretty conversion of Coq to HTML?, Lélio Brun, 07/14/2017
Archive powered by MHonArc 2.6.18.