Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PeaCoq: web-based frontend for Coq

Email Gateway (Aug 22 2022 at 10:12):

From: Lars Hupel <hupel@in.tum.de>
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

Last updated: Apr 19 2024 at 01:05 UTC