CALCCHECK

A Proof-Checker for Gries and Schneider’s
“Logical Approach to Discrete Math”

Documentation

• Getting Started with the CalcCheck Language
• Getting Started with CalcCheckWeb
• Indicating Substitutions
• CalcCheck Syntax Hints for 2DM3 Fall 2019
• CalcCheck DRAFT Manual (Jan. 2025)