Skip to content
View Shinsuke-Hamaji's full-sized avatar
0 followers · 1 following

Block or report Shinsuke-Hamaji

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. collatz-proof-lean4 collatz-proof-lean4 Public

    A complete and verified formal proof of the Collatz Conjecture in Lean 4. Leveraging the strong normalization of type theory, potential infinity automatically evolves into the "Real-Process Axiom" …

    Lean

  2. goldbach-twinprime-proof-lean4 goldbach-twinprime-proof-lean4 Public

    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 …

    Lean

  3. awards awards Public

    Forked from TheJustinSunPrize/awards

    Canonical, machine-checkable record of the Justin Sun Prize: rules, awards, candidates, and verification evidence.

    Python

  4. ostmann-proof-lean4 ostmann-proof-lean4 Public

    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 unre…

    HTML

  5. legendre-proof-lean4 legendre-proof-lean4 Public

    Real-process formal verification of Legendre conjecture in Lean 4. Leveraging strong normalization of type theory, potential infinity automatically evolves, purging unrequested ZFC actual infinity …

    HTML