Cite

Citation

Each release is a separate, citable artifact. Cite the release you used. Do not reuse one package’s DOI for another.

S437: Lean 4.34.1 port and rebuild of OpenAI's NavierStokesAndEuler formalization (Clay alternatives C and D)

DOI: 10.5281/zenodo.23448690
Wikidata: Q141761720
ORCID: 0009-0008-7130-1448
Version: s437-v1

BibTeX

@software{gi_s437,
  title   = {S437: Lean 4.34.1 port and rebuild of OpenAI's NavierStokesAndEuler formalization (Clay alternatives C and D)},
  author  = {Jacobs, Tim},
  year    = {2026},
  version = {s437-v1},
  url     = {https://github.com/kts-global/lean-proofs-public},
  doi     = {10.5281/zenodo.23448690},
  note    = {KTS Global; Lean 4.34.1; ORCID 0009-0008-7130-1448}
}

Navier–Stokes R2/R3 community verification package, V1

DOI: 10.5281/zenodo.23535805
Wikidata: Q141803373
ORCID: 0009-0008-7130-1448
Version: r2-r3-v1

BibTeX

@software{gi_r2r3,
  title   = {Navier–Stokes R2/R3 community verification package, V1},
  author  = {Jacobs, Tim},
  year    = {2026},
  version = {r2-r3-v1},
  url     = {https://github.com/kts-global/lean-proofs-public},
  doi     = {10.5281/zenodo.23535805},
  note    = {KTS Global; Lean 4.34.1; ORCID 0009-0008-7130-1448}
}

Lean 4 - Proof - Navier–Stokes C/D (KTS Global)

DOI: pending (created after release is archived)
Wikidata: pending
ORCID: 0009-0008-7130-1448
Version: 1.0.0 (metadata/docs release v1.0.1 in progress)

BibTeX

@software{gi_navierstokescd,
  title   = {Lean 4 - Proof - Navier–Stokes C/D (KTS Global)},
  author  = {Jacobs, Tim},
  year    = {2026},
  version = {1.0.0},
  url     = {https://github.com/kts-global/lean-proofs-navier-stokes-cd},
  note    = {KTS Global; Lean 4.34.1; ORCID 0009-0008-7130-1448}
}

Lean 4 - Proof - Tao ShortBound to Global Regularity

DOI: pending (created after release is archived)
Wikidata: pending
ORCID: 0009-0008-7130-1448
Version: 0.1.0

BibTeX

@software{gi_taoshortbound,
  title   = {Lean 4 - Proof - Tao ShortBound to Global Regularity},
  author  = {Jacobs, Tim},
  year    = {2026},
  version = {0.1.0},
  url     = {https://github.com/kts-global/lean-proofs-tao-shortbound-global-regularity},
  note    = {KTS Global; Lean 4.34.1; ORCID 0009-0008-7130-1448}
}