A Computer Environment for Writing Ordinary Mathematical Proofs.

David McMath, Marianna Rozenfeld, Richard Sommer

Browse the full LPAR paper archive.