OSforGFF
A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms
Sort by
Require Order
GaussianField
50c27aaBochnerMinlos
4d73f08mathlib
82ff578The math library of Lean 4
50c27aa4d73f0882ff578