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

11. Theorem Provers

This section is focused on formal theorem provers. It includes goals of learning what they are, and how they can be used by both professional mathematicians and students.

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