The following pages link to Hets (Q19080):
Displaying 5 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Dimensions of Formality: A Case Study for MKM in Software Engineering (Q3582721) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
