HOL-Omega
From MaRDI portal
Software:18673
No author found.
Related Items (8)
On definitions of constants and types in HOL ⋮ From types to sets by local type definition in higher-order logic ⋮ Friends with Benefits ⋮ Verified Characteristic Formulae for CakeML ⋮ Comprehending Isabelle/HOL’s Consistency ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ From Types to Sets by Local Type Definitions in Higher-Order Logic ⋮ Equational Reasoning with Applicative Functors
This page was built for software: HOL-Omega
