synchronized-infinity

Here are 3 public repositories matching this topic...

Shinsuke-Hamaji / riemann-proof-lean4

Resolving the Riemann Hypothesis in Lean 4 through Synchronized Infinity, 1/2 critical line pair sync, and Suriajaya equivalence.

symmetric-polynomials riemann-hypothesis lean4 pair-synchronization synchronized-infinity suriajaya-theorem machine-proof

Updated Oct 23, 2026
HTML

Shinsuke-Hamaji / Twin-prime-conjecture-lean4

Star

Formal verification of Goldbach and Twin Prime conjectures via odd-pair phase-locked synchronization in Lean 4. Leveraging the strong normalization of type theory, potential infinity automatically evolves into the "Real-Process Axiom" without introducing new axioms.

type-theory formal-verification goldbach-conjecture lean4 twin-prime-conjecture pair-synchronization synchronized-infinity

Updated Nov 6, 2026
HTML

Shinsuke-Hamaji / acb-proof-lean4-for-iut

Star

JSP-000010: Linking IUT theory and the ABC conjecture through Potential Infinite Evolution via Strong Normalization (100% Sorry-free Lean 4 formalization)

lean4 abc-conjecture strong-normalization potential-infinity synchronized-infinity iut-theory jsp-000010 galileos-paradox

Updated Oct 30, 2026
Lean

Add this topic to your repo

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

Learn more