The following pages link to HOL-Omega (Q18673):
Displayed 8 items.
- On definitions of constants and types in HOL (Q287358) (← links)
- From types to sets by local type definition in higher-order logic (Q1722645) (← links)
- From Types to Sets by Local Type Definitions in Higher-Order Logic (Q2829259) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- Friends with Benefits (Q2988636) (← links)
- Verified Characteristic Formulae for CakeML (Q2988660) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)