Contribute
Contribute an explanation, compare a Lean statement with its paper, credit an earlier source, report a proof-verification run, or correct a page. Contributions are credited on the pages they change.
Five ways to help
- Offer to write an explanation of one result.
- Compare a Lean statement with its paper’s theorem and definitions, and report where their meanings agree or differ.
- Suggest a change or ask a precise question about one page, number or statement.
- Suggest an attribution for an idea, argument or earlier result.
- Run Comparator, OpenAI’s proof-verification program, on a published proof and share the version, settings and result.
The contributing guide explains each in full. Read CONTRIBUTING.md
Where a careful reading is most useful
Some statements have a specific reason for further reading: for example, a definition supplied by the proof file or an unclear account of which part of the paper the Lean statement expresses. See the list
Contributors
No contributions yet. The first ones will be listed here.