proof-audit

Here are 3 public repositories matching this topic...

research-line / .github

Public research-line organization profile and repository index for open-access research software, proof notes, Zenodo DOI records, and reproducible papers

Updated Jul 5, 2026

research-line / rh-even-dominance

Star

Conditional Riemann Hypothesis research atlas with public scripts, certificates, Zenodo records, and proof-audit status boundaries

python research reproducible-research mathematics open-access open-science riemann-zeta number-theory zenodo audit-trail research-software computational-number-theory riemann-hypothesis gauge-theory spectral-theory conditional-reduction proof-audit

Updated Jul 4, 2026
TeX

Fieldnote-Echo / frankl-conjecture-audit

Sponsor

Star

Audit of claimed proof mechanisms for Frankl's union-closed sets conjecture, with reproducible finite checks.

combinatorics reproducibility zenodo cc-by-4-0 frankl-conjecture union-closed-sets proof-audit math-co

Updated Jun 22, 2026
TeX

Improve this page

Add a description, image, and links to the proof-audit topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-audit topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly