Se­quent Cal­cu­lus Trai­ner

Der Sequenzenkalkültrainer unterstützt Studierende beim Erlernen des formalen Beweisens im Sequenzenkalkül für Aussagenlogik und Prädikatenlogik erster Stufe mit Gleichheit. Hauptentwickler war Arno Ehle.


Der Sequenzenkalktrainer ist in Java geschrieben. Kompilate und Source Code sind unter der BSD-3-Lizenz verfügbar und können über folgende Links heruntergeladen werden.


Sequent Calculus Trainer (jar) (Zip-Archiv mit Jar-Datei; JRE 8.0 Update 131 oder höher wird zur Installation benötigt)

Sequent Calculus Trainer (source)

(executable) Linux Version

(executable) Windows Version