AgsyHOL
From MaRDI portal
Software:25217
No author found.
Source code repository: https://github.com/frelindb/agsyHOL
Related Items (4)
A Focused Sequent Calculus for Higher-Order Logic ⋮ Unnamed Item ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ HOL Based First-Order Modal Logic Provers
This page was built for software: AgsyHOL
