Theorem Proving

lean-collab: multi-agent theorem proving in Lean 4

lean-collab applies multi-agent collaboration to Lean 4 theorem proving, using the Ensue Memory Network to coordinate agents across complex mathematical proofs. An unusual intersection of formal verification and multi-agent AI.