[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:


and an online version


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


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