EPGY

swMATH28722MaRDI QIDQ40436FDOQ40436

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: EPGY