MetTeL 2 online demo

Reading the system description for MetTeL2 may help you in using the following tool.

Show quick help

1. Syntax of logic and tableau formulas

2. Define properties (optional)

3. Logic's tableau calculus

Tableau calculus display:

There are no tableau rules defined.

4. Prover for logic

Click the following button to generate the prover

Notice: we do collect the usage data for internal performance test.