https://pypi.org/project/unicode-logic-kit/ Recent updates to the Python Package Index for unicode-logic-kit en https://pypi.org/project/unicode-logic-kit/0.33.0/ 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 fvossel@uos.de Sun, 11 Oct 2026 10:12:02 GMT https://pypi.org/project/unicode-logic-kit/0.32.0/ 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 fvossel@uos.de Sat, 10 Oct 2026 20:11:55 GMT https://pypi.org/project/unicode-logic-kit/0.31.0/ 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 fvossel@uos.de Wed, 07 Oct 2026 15:51:46 GMT