User Interface
A popular front-end for proof assistants is the Emacs-based Proof General, developed at the University of Edinburgh.
Read more about this topic: Proof Assistant
Famous quotes containing the word user:
“A worker may be the hammer’s master, but the hammer still prevails. A tool knows exactly how it is meant to be handled, while the user of the tool can only have an approximate idea.”
—Milan Kundera (b. 1929)