PyRank

Higher Order Logic Python Packages

Python packages with the GitHub topic higher-order-logic. Sorted by monthly downloads, with stars and forks.
fvossel
unicode-fol-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

2K 0 0
fvossel
unicode-logic-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

577 0 0