PLATO: A Mediator between Text-Editors and Proof Assistance Systems
@inproceedings{WAB-07-a, author = {Marc Wagner, Serge Autexier, Christoph Benzm\"uller}, editor = {Serge Autexier, Christoph Benzm\"uller}, booktitle = {7th Workshop on User Interfaces for Theorem Provers (UITP'06)}, title = {PLATO: A Mediator between Text-Editors and Proof Assistance Systems}, volume = {174(2)}, series = {Electronic Notes on Theoretical Computer Science}, publisher = {Elsevier}, pages = {87-107}, month = {april}, year = {2007}, }