MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant.

Cliff B. Jones, Richard C. Moore

Browse the full FM paper archive.