AgsyHOL

swMATH13302MaRDI QIDQ25217FDOQ25217

Author name not available (Why is that?)

Source code repository: https://github.com/frelindb/agsyHOL

Cited In (4)

• HOL Based First-Order Modal Logic Provers
• A Focused Sequent Calculus for Higher-Order Logic
• Higher-Order Modal Logics: Automation and Applications
• Title not available (Why is that?)

This page was built for software: AgsyHOL