Special Issue on User Interfaces in Theorem Proving
User Interaction with the Matita Proof Assistant
Integrating Searching and Authoring in Mizar
A Graphical User Interface for Formal Proofs in Geometry
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
Visualizing SAT Instances and Runs of the DPLL Algorithm