Formalization of QFT? (opens in new tab)

There’s a new paper out on the Formalization of QFT, purporting to formalize a QFT using Lean/Mathlib. I’ve been trying to avoid spending time on the hot topics of AI and theorem provin…