EPGY

swMATH28722MaRDI QIDQ40436FDOQ40436

Author name not available (Why is that?)

Cited In (3)

• Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
• Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
• A Computer Environment for Writing Ordinary Mathematical Proofs

This page was built for software: EPGY