AgsyHOL

MaRDI QIDQ25217swMATHFDO

Official website https://github.com/frelindb/agsyHOL

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

Cited in

(4)

• HOL Based First-Order Modal Logic Provers
• scientific article; zbMATH DE number 7178360 (Why is no real title available?)
• A Focused Sequent Calculus for Higher-Order Logic
• Higher-order modal logics: automation and applications

This page was built for software: AgsyHOL