The design and implementation of the grape graphical proof editor (2006)

by Max Schäfer
Venue:Master’s Project Report, TU Dresden. Available at http://grape.sourceforge.net/grape.pdf