PyRank

Autoformalization Python Packages

Python packages with the GitHub topic autoformalization. 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
ibrahimmian36
leanscreen

A calibrated faithfulness screen for informal↔Lean 4 pairs, on the command line and over MCP. Screens only, never certifies.

128 7 1