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

Examples

To make yourself familiar with the system CERES and the additional tools we have prepared the following examples: