CalcCheck: a proof checker for teaching the ``Logical approach to discrete math
From MaRDI portal
Publication:1791172
DOI10.1007/978-3-319-94821-8_19zbMath1462.68215OpenAlexW2810881672MaRDI QIDQ1791172
Publication date: 4 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_19
Technological tools, calculators (aspects of mathematics education) (97U70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
The $$\theta $$-Join as a Join with $$\theta $$ ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
Uses Software