Comments are closed.

1.Define the syntax of the logical theory in section 1 or select one of the predefined logics.
2.Define the tableau calculus in section 3.
3.Generate your prover in section 4.
4.Download your prover or use it online given the text input field in section 4.

1.Logic's syntax

2.Define properties (optional)

3.Logic's tableau calculus

4.Prover for logic