Public Lean, Rocq, and miniF2F verification harnesses.
-
Updated
Sep 3, 2026 - Lean
#
minif2f
Here are 2 public repositories matching this topic...
Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.
theorem-proving proof-assistant multi-agent debate z3 sympy smt-solver formal-verification ai-safety automated-reasoning scientific-research knuckledragger paper-review research-evaluation llm claim-verification minif2f
-
Updated
Jul 15, 2026 - Python
Add this topic to your repo
To associate your repository with the minif2f topic, visit your repo's landing page and select "manage topics."