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

by Marc Wagner , Serge Autexier , Christoph Benzmüller
Citations:3 - 1 self