![]() |
![]() |
![]() |
MetTeL 1 Online user manual | MetTeL 1 PDF user manual | ESSLLI 2011 Lecture Notes on Automated Synthesis of Tableau Calculi |
-
download the nightly versiondownload the latest versionCompiled system of latest version can be downloaded here. For other version and example go to Download section »