MetTeL2: Towards a Tableau Prover Generation Platform
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi · EPiC series in computing · 2018
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 non-technical users and allow technical users to extend the generated implementations.