MetTeL2: Towards a prover generation platform
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi, R A Papacchini, F Schmidt · Research Explorer (The University of Manchester) · 2012
This paper introduces MetTeL2, a tableau prover generator producing Java code from the specifications of a logical syntax and a tableau calculus. It is intended to provide an easy to use system for nontechnical users and allow technical users to extend the implementation of generated provers.