The following pages link to (Q4428312):
Displaying 6 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)