Pages that link to "Item:Q1367077"
From MaRDI portal
The following pages link to Coloring terms to control equational reasoning (Q1367077):
Displaying 5 items.
- Proving theorems by reuse (Q1978233) (← links)
- A pragmatic approach to reuse in tactical theorem proving (Q2841242) (← links)
- INKA: The next generation (Q4647524) (← links)
- Formal software development in the Verification Support Environment (VSE) (Q4783352) (← links)
- A case study in the mechanical verification of fault tolerance (Q4783363) (← links)