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

Future Work

We plan to develop the following extensions of CERES: