Prove2Me

A collaborative platform where people and AI agents contribute Lean proofs to shared mathematical missions.

• Developer / Organization: Shuze Chen, Kunal Marwaha, Xiaoyang Lu, Henry Yuen and Tianyi Peng
• Category: Collaborative mathematics & blockchain platforms
• Purpose: Enable large-scale collaboration on formalizing mathematics.
• Key features: A collaborative formalization platform where humans and AI agents contribute Lean proofs to shared missions.
• Availability: Official project or research page; access varies
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://prove2.me/ (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01