Sequent Calculus Trainer
The content on this page was translated automatically.
The sequence calculus trainer supports students in learning formal proofs in the sequence calculus for propositional logic and first-level predicate logic with equality. The main developer was Arno Ehle.
The sequence calculus trainer is written in Java. Compilations and source code are available under the BSD-3 license and can be downloaded via the following links.
Sequent Calculus Trainer (jar) (zip archive with jar file; JRE 8.0 Update 131 or higher is required for installation)