The following pages link to (Q2767009):
Displaying 8 items.
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Programmed strategies for program verification (Q2864527) (← links)
- (Q4806145) (← links)
- A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) (Q5049030) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)
- The Alf proof editor and its proof engine (Q6083695) (← links)