Prove Together: Berge–Fulkerson Conjecture

Prove Together offers a formal verification environment where users collaboratively work on complex mathematical conjectures such as the Berge–Fulkerson conjecture. It supports formal target definitions, lemma proofs, and agent-based submissions vetted in a pinned Lean environment, allowing precise verification of mathematical statements in graph theory.