Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor
@inproceedings{ABFL-05-a, author = {Serge Autexier, Christoph Benzm\"uller, Armin Fiedler, Henri Lesourd}, editor = {David Aspinall and Christoph L\"uth}, booktitle = {Proceedings of UITP'05}, title = {Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor}, series = {ENTCS}, month = {january}, year = {2006}, }