Sequent Calculus Trainer
This page contains automatically translated content.
The Sequent Calculus Trainer is a tool that aims at supporting students in learning how to correctly construct proofs in the sequent calculus for propositional logic and first-order logic with equality. The main developer was Arno Ehle.
The Sequent Calculus Trainer is written in Java. Binaries as well as the source code are available under BSD-3 license and can be downloaded under the following links.
Sequent Calculus Trainer (jar) (zip-archive containing the jar-file; JRE 8.0 Update 131 or higher need to be installed)
Sequent Calculus Trainer (source)