1. Special Issue on User Interfaces in Theorem Proving: Preface

   • David Aspinall
   • Christoph Lüth

   OriginalPaper 14 June 2007 Pages: 107 - 108

2. User Interaction with the Matita Proof Assistant

   • Andrea Asperti
   • Claudio Sacerdoti Coen
   • Stefano Zacchiroli

   OriginalPaper 21 June 2007 Pages: 109 - 139

3. Integrating Searching and Authoring in Mizar

   • Paul Cairns
   • Jeremy Gow

   OriginalPaper 01 June 2007 Pages: 141 - 160

4. A Graphical User Interface for Formal Proofs in Geometry

   • Julien Narboux

   OriginalPaper 30 June 2007 Pages: 161 - 180

5. Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book

   • William Billingsley
   • Peter Robinson

   OriginalPaper 12 June 2007 Pages: 181 - 218

6. Visualizing SAT Instances and Runs of the DPLL Algorithm

   • Carsten Sinz

   OriginalPaper 26 July 2007 Pages: 219 - 243