mrdouglasnyBochnerMinlos

Displaying 1-1 of 1 packages depending on mrdouglasny/BochnerMinlos
Sort by

  1. mrdouglasny/OSforGFFuses1b56973

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