Integrating Proof Assistants as Plugins in a Scientific Editor
@incollection{ABFL-06-a, author = {Serge Autexier, Christoph Benzm\"uller, Armin Fiedler, Henri Lesourd}, editor = {Michael Kohlhase}, booktitle = {OMDOC - An Open Markup Format for Mathematical Documents [Version 1.2]}, title = {Integrating Proof Assistants as Plugins in a Scientific Editor}, volume = {4180}, series = {LNAI}, publisher = {Springer}, pages = {309-312}, month = {august}, year = {2006}, }