Prover

Enter a formula:

Options

Prover Language: Kotlin Rust (preview) Format:

Sequent Calculus Tableau

bussproofs ebproof

Timeout: 3s 5s 10s

Debug Mode: Print trace

Result:

Logs:

Proof Tree (click!):