EPGY

MaRDI QIDQ40436swMATHFDO

Official website https://link.springer.com/article/10.1023/B:JARS.0000044825.55318.95

Cited in

(9)

• Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
• Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
• AutoTutor
• LPL software
• CalcCheck
• Markdown
• webLurch
• Hyperproof
• A computer environment for writing ordinary mathematical proofs

This page was built for software: EPGY