PLATΩ: A mediator between text-editors and proof assistance systems (2006)

by Marc Wagner, Serge Autexier, Christoph Benzmüller
Venue:7th Workshop on User Interfaces for Theorem Provers (UITP’06), ENTCS