A User Interface for a Mathematical System that Allows Ambiguous Formulae

DOI10.1016/j.entcs.2008.12.098zbMath1291.68368OpenAlexW2087155614MaRDI QIDQ5166498

Claudio Sacerdoti Coen

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

zbMATH Keywords

ambiguityuser interfaceoverloadingtheorem proverMatita

Mathematics Subject Classification ID

Related Items

Towards semantic mathematical editing

Uses Software

• Isar
• Mizar
• Proof General
• Matita
• CtCoq
• Whelp

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