Contact | MetTeL prover

Mettel

MetTeL2 : Towards a Prover Generation Platform

Skip to content

Home
Online Demo
- MetTeL2 Online Demo
- MetTeL1 Online Demo
Download
Documents
- Papers
- MetTeL 1 Manual
About Us
Contact

We would like to hear from you

Name:

Email:

Subject:

Message:

2+2=

Comments are closed.

Search for:
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
- Herod and Pilate
- linTAP
- LoTREC Generic Tableau Prover
- MLTP
- ModLeanTAP
- Molle
- Pdl-tableau
- Saga
- The Tableau WorkBench (TWB)
- TTM
Other useful tools
- SCAN

Proudly powered by WordPress.