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.