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