Projects
Projects
-
Lean Formalization of QFT
Formalizing the foundations and main results in formal quantum field theory. Ambitiously, I think it's useful to build out this material now for a future proof of the existence of a 4D Yang-Mills theory.