Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
From MaRDI portal
Publication:5428269
DOI10.1007/978-3-540-73086-6_16zbMath1202.68372MaRDI QIDQ5428269
Serge Autexier, Thomas Neumann, Marc Oliver Wagner, Armin Fiedler
Publication date: 28 November 2007
Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_16
68U15: Computing methodologies for text processing; mathematical typography
Related Items
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors, Formal Proof: Reconciling Correctness and Understanding
Uses Software