Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.
-
Updated
Sep 6, 2026 - Python
Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.
Conditional Riemann Hypothesis research atlas with public scripts, certificates, Zenodo records, and proof-audit status boundaries
Public research-line organization profile and current repo index for FST, cosmology, RH proof-audit, AI-society research, and Zenodo-linked reproducibility.
Audit of claimed proof mechanisms for Frankl's union-closed sets conjecture, with reproducible finite checks.
To associate your repository with the proof-audit topic, visit your repo's landing page and select "manage topics."