The following pages link to Mathematical Knowledge Management (Q5898512):
Displaying 5 items.
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- (Q3340121) (← links)
- Managing Proof Documents for Asynchronous Processing (Q5166497) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)