Software
The content on this page was translated automatically.
Sequent Calculus Trainer
The Sequential Calculus Trainer is a learning tool for constructing formal proofs in the sequent calculus for propositional logic or first level predicate logic with equality.
PGSolver is a collection of algorithms and heuristics for solving and manipulating parity games, as well as some benchmarks for doing so. It defines a standard format for parity games and for winning strategies. Co-developer is Oliver Friedmann.