HLK ProofTool
TU Vienna logic.at Theory and Logic Group (E185-2)

Simple Proofs

These are small and simple proof example serving the purpose of giving you a first impression of the cut-elimination system CERES.