| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

8. Proof Software in Education


    1. Add remark

      Problem 8.1.

      The goal of this group is to create a survey of what work has been done on educational proof software and to describe the goals which spurred its creation. The group should aim to end with a concrete idea of what exists in this area now, what is being worked on, and should have ideas on how these systems may be brought together or used.

          Cite this as: AimPL: Open-source cyberinfrastructure supporting mathematics research, available at http://aimpl.org/cyberinfrastructure.