A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).