Software
The content on this page was translated automatically.
Sequent Calculus Trainer
The Sequent 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 processing parity games and some benchmarks for them. It defines a standard format for parity games and winning strategies. Co-developer is Oliver Friedmann.