automated-theorem-proving
A Minimal Agent for Automated Theorem Proving
A tool for parsing and visualizing ontology files written in the Ontol DSL
OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)
Official implementation of "FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving"
