MetTeL tableau prover generation platform | MetTeL2 : Towards a Prover Generation Platform

Mettel

MetTeL2 : Towards a Prover Generation Platform

Skip to content

Home
Online Demo
Download
Papers
About Us
Contact

We would like to hear from you

Name:

Email:

Subject:

Message:

2+2=

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 »

Other tableau provers
- DLP
- FACT++
- Gost
- linTAP
- LoTREC Generic Tableau Prover
- MLTP
- ModLeanTAP
- Molle
- Pdl-tableau
- Saga
- The Sibyl Prover
- The Tableau WorkBench (TWB)
- TTM
Other useful tools
- SCAN
- LETHE
- FAME