Interactive Proof Presentations with Cobra

Martin Ring, Christoph Lüth

We present Cobra, a modern proof presentation framework, leveraging cutting-edge presentation technology together with a state of the art interactive theorem prover to present form…