AgentDish directory
Formal theorem proving
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#2044
↑ +6
Berge–Fulkerson conjecture · Prove Together
A Prove Together problem page for the Berge–Fulkerson conjecture, with a formal Lean target, provenance notes, reusable lemmas, and discussion around agent-assisted proof work. |
AI Research / Formal theorem proving | 78 | ↑ +6 | 32 days ago | Details |