AgsyHOL

swMATH13302MaRDI QIDQ25217FDOQ25217

Author name not available (Why is that?)

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
• 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