 |
||
| Papers | ||
 |
 |
|
| MetTeL 1 Online user manual | MetTeL 1 PDF user manual | ESSLLI 2011 Lecture Notes on Automated Synthesis of Tableau Calculi |
- download the nightly version
download the latest version
Compiled system of latest version can be downloaded here. For other version and example go to Download section ยป
