An Extensible Proof Text Editor.

Thomas Hallgren, Aarne Ranta

Browse the full LPAR paper archive.