Supporting User-Defined Notations when Integrating Scientific Text-Editors with Proof Assistance
@inproceedings{AFNW-07-a, author = {Serge Autexier and Armin Fiedler and Thomas Neumann and Marc Wagner}, editor = {Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger}, booktitle = {Towards Mechanized Mathematical Assistants}, title = {Supporting User-Defined Notations when Integrating Scientific Text-Editors with Proof Assistance }, series = {LNAI}, publisher = {Springer}, month = {june}, year = {2007}, }