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

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