Experiments

Only the experiments. Newest first.

All experiments

Analytic Tableaux

A propositional logic prover using the tableau method.

Experiment2019