1. Preface

   • Deepak Kapur

   Preface Pages: 1 - 2

2. GRAMY: A Geometry Theorem Prover Capable of Construction

   • Noboru Matsuda
   • Kurt VanLehn

   OriginalPaper Pages: 3 - 33

3. Verification in the Classroom

   • Christoph Walther
   • Stephan Schweitzer

   OriginalPaper Pages: 35 - 73

4. ETPS: A System to Help Students Write Formal Proofs

   • Peter B. Andrews
   • Chad E. Brown
   • Hongwei Xi

   OriginalPaper Pages: 75 - 92