potential-infinity

Here are 2 public repositories matching this topic...

Shinsuke-Hamaji / ostmann-proof-lean4

Real-process formal verification of Ostmann's inverse Goldbach conjecture in Lean 4. Leveraging the strong normalization of type theory, potential infinity automatically evol.Completely purges unrequested actual infinity (ZFC), overriding OpenAI's frozen Result 013 via fully optimized phase-locked invariants with zero sorrys and zero custom axioms.

goldbach-conjecture lean4 curry-howard strong-normalization ostmann-conjecture potential-infinity

Updated Oct 21, 2026
Lean

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 potential-infinity topic, visit your repo's landing page and select "manage topics."

Learn more