Skip to content
#

gkls

Here are 2 public repositories matching this topic...

TGL — Teoria da Gravitação Luminodinâmica. um.py: a self-proving artifact with an embedded Lean 4 kernel (1428 files, 29294 audited terms, ladder 9539/9539). PROVED = validity in the kernel; accreditation refused — nature decides. Latest reading: z_disc = 4.44 (p 4.4e-6), below the 5σ step. Start: teoriadagravitacaoluminodinamica.com/llms.txt

  • Updated Oct 24, 2026
  • Python

Add this topic to your repo

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

Learn more