Proof General / Eclipse: A Generic Interface for Interactive Proof.

Daniel Winterstein, David Aspinall, Christoph Lth

Browse the full IJCAI paper archive.