A Lean 4 formalization of the area law for three-dimensional U(1) lattice gauge theory with the Wilson action
Source files
root filemain.tex · root file5 KiB · SHA-256 d62b9c3b041d30e2… · view textauxiliary files10_conclusion.tex520 B · SHA-256 3f082aec8bf2c212… · view textauxiliary files1_intro.tex6 KiB · SHA-256 4854d7b490a503c9… · view textauxiliary files2_statement.tex12 KiB · SHA-256 c2154a828f7d3c69… · view textauxiliary files3_architecture.tex8 KiB · SHA-256 c41e6bdb53a5ebce… · view textauxiliary files4_parts.tex12 KiB · SHA-256 96c8cab1d4185919… · view textauxiliary files5_blueprints.tex2 KiB · SHA-256 b63b136605993b19… · view textauxiliary files6_numerics.tex5 KiB · SHA-256 56c20e9407ef01e4… · view textauxiliary files6e_appendixE.tex5 KiB · SHA-256 f7b7ae96b577345a… · view textauxiliary files7_audits.tex4 KiB · SHA-256 cbd2676d59cbd659… · view textauxiliary files8_findings.tex4 KiB · SHA-256 4824b81f7ae7505b… · view textauxiliary files9_stats.tex1 KiB · SHA-256 1b337ee78e2ecaba… · view text