HOL Zero
From MaRDI portal
Software:29451
swMATH17594MaRDI QIDQ29451FDOQ29451
Author name not available (Why is that?)
Cited In (12)
- From types to sets by local type definition in higher-order logic
- Friends with Benefits
- On definitions of constants and types in HOL
- From Types to Sets by Local Type Definitions in Higher-Order Logic
- A verified proof checker for higher-order logic
- HOL Zero’s Solutions for Pollack-Inconsistency
- A formalization and proof checker for Isabelle's metalogic
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- A FORMAL PROOF OF THE KEPLER CONJECTURE
- Flyspecking Flyspeck
- Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings
- A consistent foundation for Isabelle/HOL
This page was built for software: HOL Zero
