[isabelle] PeaCoq: web-based frontend for Coq



Dear list,

this month, Valentin Robert published his user interface for Coq, called
"PeaCoq". There's an article describing it:


<http://goto.ucsd.edu/~vrobert/coq-en-stock/blog/2015/06/03/introducing-peacoq/>

and an online version

  <http://goto.ucsd.edu:4242/>

I haven't looked closely, but maybe we can learn a thing or two for
Isabelle/jEdit here.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.