Machine-verified foundations for quantum field theory in Lean 4 (ACMD) — 2,553 kernel-checked theorem declarations. Every claim tiered; kills published next to the proofs.
Lean Updated 3 days ago 1 commits 1 stars
omega-coder|Mirror: jeffgurd888/thet-logos (⭐1)
3 days agoAbout
Machine-verified foundations for quantum field theory in Lean 4 (ACMD) — 2,553 kernel-checked theorem declarations. Every claim tiered; kills published next to the proofs.
Readme
1 stars