physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
physics at very higher energy density, hence small distance:
quantum field theory and particle physics
See the references at particle physics.
See also:
On the status of high energy physics as per 2020:
On using the Lean proof assistant for problems in high energy physics:
Joseph Tooby-Smith, HepLean: Digitalising high energy physics [arXiv:2405.08863]
Joseph Tooby-Smith: Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature [arXiv:2603.08139]
Sven Krippendorf, Joseph Tooby-Smith: Physics as Code: From Scans to Theorems with ITP APIs in Model Building [arXiv:2603.28406]
Formalization in Lean of the construction of the free scalar quantum field:
and of aspects of Seiberg-Witten theory:
Last revised on July 8, 2026 at 05:58:15. See the history of this page for a list of all contributions to it.