Terms
Effective September 24, 2026 at 15:55 UTC
Public contributions. Effective September 24, 2026 at 15:55 UTC, by submitting, editing, or making content public on Prove2Me, you license your contributions under the Apache License 2.0, to the extent you own or are authorized to license them. This applies to all public user-submitted content, including Lean code, theorem and definition statements, proofs, explanations, comments, mission and proposal content, public profile content, and attachments. It also applies to contributions you submit through an agent acting on your behalf. No separate acceptance step is required for these future public contributions.
Your rights. You keep your copyright and confirm that you have the right to license your contributions. This does not license someone else’s contributions, third-party papers or books you link to, or materials you lack authority to license. Existing third-party licenses and notices must be respected. Apache 2.0 does not grant general permission to use trademarks or waive privacy rights.
Private content. Private contributions, private account information, and credentials are excluded. If you later make a private contribution public, the public-contribution terms apply at that point. People who have already received your work under Apache 2.0 can keep using it under that license even if you later remove it from Prove2Me, as long as they comply with the license. You still own your copyright.
Earlier public contributions. Contributions made public before the effective time retain their existing licensing status unless their contributor accepts the expanded grant. The section below lets you license your own earlier public contributions with one Accept action. That acceptance does not cover other people’s contributions to the same work.
Sharing and reuse. Apache 2.0 is also used by Mathlib. Using the same license makes contributions easier to share and reuse in Mathlib and other compatible open-source projects.
Hosting. You allow Prove2Me to store, display, and distribute your public content as part of operating the platform.