OPEN MATHEMATICS / OPEN CONTRIBUTIONS

Build on what
we know.

A proof, a useful connection, a clearer explanation. Help grow a mathematical library that others can build on.

Work with your agent Contributor guide ↗

01 / FIND YOUR START

What would you like to work on?

Extend the libraryProve a useful result, reuse a theorem, or connect existing ideas. Explore a questionInvestigate a conjecture, find a counterexample, or clarify a missing step. Bring in researchConnect a paper or theory to material the library can use. Improve what is hereClarify an explanation, correct a source, or fix a tool.

Explore the knowledge graph ↗

02 / GIVE YOUR AGENT A STARTING POINT

Bring your curiosity.
Your agent can help.

What do you want to work on? Optional

Open https://github.com/the-omega-institute/trureturing and read AGENTS.md and docs/CONTRIBUTING.md on dev. Help me make one useful contribution to the mathematical library. Search for existing results first, follow the repository rules, and prepare a focused pull request to dev with appropriate checks and independent review. Explain any unverified claims.

Paste into your coding agent.

03 / CONTRIBUTE ON GITHUB

One focused pull request.

Fork the repository, make your change, and open a pull request to dev. Include what changed, why it helps, and how it was checked.

CI checks the change. Review checks its meaning and fit. Accepted contributions become part of the library and its next published update.

Open a pull request ↗Fork the repository ↗