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. [bibtex] [pdf] [doi]
Powered by bibtexbrowser