An extensible proof text editor (2000)

by Thomas Hallgren, Aarne Ranta
Venue:In LPAR ’00: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning