The following pages link to Mathematical Knowledge Management (Q5313073):
Displaying 5 items.
- Spurious disambiguation errors and how to get rid of them (Q841693) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- A User Interface for a Mathematical System that Allows Ambiguous Formulae (Q5166498) (← links)
- The Matita Interactive Theorem Prover (Q5200015) (← links)
- From Notation to Semantics: There and Back Again (Q5756753) (← links)