Lean 4 formalization of strongly continuous semigroups, Hille-Yosida theorem, and BCR Bochner semigroup-to-group extension

Lattice Gauge Theory in Lean 4 — toward the 2D Yang-Mills mass gap

Markov semigroups, functional inequalities, and convergence to equilibrium in Lean 4

A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms

Construction of phi^4_2 quantum field theory in Lean 4

Construction of phi^4_2 quantum field theory in Lean 4