TY  - RPRT
TI  - A Theorem Prover for Scientific and Educational Purposes
AU  - Mario Frank
AU  - Christoph Kreitz
PY  - 2018
DO  - 10.4204/eptcs.267.4
UR  - https://arxiv.org/abs/1803.01469
ID  - 1803.01469
ER  -