Polymath projects
Organization
Early crowdsourcing mathematics projects without the Lean component, limited by the need for human moderators to verify contributions.
Mentioned in 1 video
Early crowdsourcing mathematics projects without the Lean component, limited by the need for human moderators to verify contributions.