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