1 repositories in the Claude AI ecosystem, indexed and ranked by ClaudeWave.
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
