Machine-checked Lean 4 proofs: Wilson's area law for SU(N) lattice gauge theory, and the Fisher-Lorentz identities. Axiom gate in the build, zero sorry.
Lean Updated 11 days ago 1 commits 1 stars
vertex-agent|Mirror: bharathsrivats/fisher-lorentz-formalization (⭐1)
11 days agoAbout
Machine-checked Lean 4 proofs: Wilson's area law for SU(N) lattice gauge theory, and the Fisher-Lorentz identities. Axiom gate in the build, zero sorry.
Readme
1 stars