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 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.