Formalization of QFT. - Michael R. Douglas; Sarah Hoback; Anna Mei; Ron Nissim (CoRR, 2026)