The following pages link to HOL Zero (Q29451):
Displayed 12 items.
- On definitions of constants and types in HOL (Q287358) (← links)
- Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings (Q739160) (← links)
- From types to sets by local type definition in higher-order logic (Q1722645) (← links)
- A consistent foundation for Isabelle/HOL (Q1739913) (← links)
- A verified proof checker for higher-order logic (Q1987736) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- HOL Zero’s Solutions for Pollack-Inconsistency (Q2829240) (← links)
- From Types to Sets by Local Type Definitions in Higher-Order Logic (Q2829259) (← links)
- Flyspecking Flyspeck (Q2879090) (← links)
- Friends with Benefits (Q2988636) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)