Popular repositories Loading
-
-
-
collatz-certificate-workbench
collatz-certificate-workbench PublicExact-integer Collatz symbolic certifivate workbench for residue-lane descent auditing. Internal pipeline passes; independent mathematical review required.
Python
-
-
Goldbach
Goldbach PublicComputational Goldbach workbench for mirror-prime rescue gaps, residue-lane patterns, and finite validation toward a log²(C) Rescue Lemma.
JavaScript
-
nid-helix-goldbach-workbench
nid-helix-goldbach-workbench PublicPreprint and reproducibility package for the NID / HELIX Goldbach workbench using finite rooms, active mirror doors, blocker walls, Lean, and Sage.
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.