Search: PLATO: A Mediator Between Text-Editors And Proof Assistance
2007
[1]PLATO: A Mediator between Text-Editors and Proof Assistance Systems (Marc Wagner, Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 87-107, 2007. (Preprint: http://christoph-benzmueller.de/papers/J14.pdf) [bibtex] [doi]