Contribute

Submit a proof digest.

Send a link to a written explanation or a video of at most ten minutes. Include a plain-text overview of the result, the proof idea and how your explanation helps its intended audience. Historical context, applications and worked examples may be included where useful. Competition entries are due by 30 November 2026.

This prepares an email; it does not submit a web form. Your draft stays in this page until you copy it or open your email app. Send the draft from your own mailbox to the judges’ shared Gmail address shown below. If the address is unavailable, email submission is temporarily disabled.
Proofs already in the original collection only. This library and competition accept explanations of existing proofs in the repository. Propose new problems or additional solutions there through a pull request.
01 Identify the work

This is the main author credit for the digest. For joint work, list all authors. No school, home address or birth date.

Choose the relevant prize strand if you are entering the competition. Library-only contributions are welcome from everyone.

Cite the first proof in the original repository. Prefer a fixed commit link, and name the problem ID in your overview.

Start the link with https://. Paper: a Zenodo record, arXiv abstract or ResearchGate publication page. Video: YouTube or Vimeo. Link to a viewable page, not a direct download, ZIP or executable. A DOI is arranged after acceptance; it is not required for submission.

02 Describe the argument

Paste readable text, not HTML or code to execute. Explain what readers will understand from your account; include attribution and any claimed formal-verification evidence. For a video, include its transcript as well.

Nothing is uploaded, emailed or saved by this website.