1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2021★ 1 cited
The Coq Proof Script Visualiser (coq-psv)
Mario Frank
In this work, we present a visualisation tool that is able to process Coq proof scripts and generate a table representation of the contained proofs as or PDF files. This t…
cs.HC2018
A Theorem Prover for Scientific and Educational Purposes
Mario Frank, Christoph Kreitz
We present a prototype of an integrated reasoning environment for educational purposes. The presented tool is a fragment of a proof assistant and automated theorem prover. We descr…