A User Interface for a Mathematical System that Allows Ambiguous Formulae
From MaRDI portal
Publication:5166498
DOI10.1016/j.entcs.2008.12.098zbMath1291.68368OpenAlexW2087155614MaRDI QIDQ5166498
Publication date: 27 June 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.098
Related Items
Uses Software
Cites Work
- Unnamed Item
- Spurious disambiguation errors and how to get rid of them
- Mathematical knowledge management in HELM
- A comparison of Mizar and Isar
- User interaction with the Matita proof assistant
- Coercive subtyping
- Mathematical Knowledge Management
- Spurious Disambiguation Error Detection
- Types for Proofs and Programs