PLATΩ: A mediator between texteditors and proof assistance systems (2007)

by M Wagner, S Autexier, C Benzmüller
Venue:User Interfaces for Theorem Provers (UITP 2006), volume 174(2) of ENTCS