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.68372OpenAlexW1501667075MaRDI QIDQ5428269
Thomas Neumann, Serge Autexier, Armin Fiedler, Marc Oliver Wagner
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
Related Items
Formal Proof: Reconciling Correctness and Understanding ⋮ Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
Uses Software