1 paper
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…