mrdouglasnyOSforGFF

A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms
Sort by
  1. Git dependency.
    Not found on Reservoir.

    GaussianField50c27aa

  2. Git dependency.
    Not found on Reservoir.

    BochnerMinlos4d73f08

  3. Git dependency.
    Found on Reservoir.

    mathlib82ff578

    The math library of Lean 4