HOL2P
From MaRDI portal
Software:32992
No author found.
Related Items (4)
The HOL-Omega Logic ⋮ HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism ⋮ HOL Light QE ⋮ Modules over monads and initial semantics
This page was built for software: HOL2P
