PeaCoq

University of California, San Diego

PeaCoq is a web-based front-end to the Coq proof assistant.

It provides an interface similar to CoqIDE or ProofGeneral, but additionally offers a proof mode called "Proof Tree" with the following features:

Publications

Stay tuned...

Source

View on Github

Contributors