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

DOI10.1007/978-3-642-25379-9_17zbMath1350.68238OpenAlexW37664042MaRDI QIDQ3100213

Wolfram Kahl

Publication date: 22 November 2011

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25379-9_17

Mathematics Subject Classification ID

Related Items

A web-based toolkit for mathematical word processing applications with semantics ⋮ The $$\theta $$-Join as a Join with $$\theta $$ ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}

Uses Software

• Haskell
• Mizar
• ETPS
• CalcCheck
• Z
• Fuzz
• LaTeX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Brief Overview of Mizar
• Literate Programming
• Mizar Course in Logic and Set Theory
• Rewriting Techniques and Applications