Contribute
Know of formal mathematics that may be missing? Send a URL. Suggestions enter a public review queue; review determines the proper source, upstream location, metadata, and whether it belongs in the corpus.
Suggest a source
The preferred route is a GitHub issue. It keeps the lead, investigation, discussion, and eventual disposition together in public.
Without a GitHub account
Submit the same lead here. Only the URL is required. The submission becomes a public issue in the same review queue; no account or contact information is collected.
Other contributions
For corrections, site changes, or corpus-maintenance work, use the GitHub repository.