Formalizing Schwartz functions and tempered distributions

Moritz Doll

Distribution theory is a cornerstone of the theory of partial differential equations. We report on the progress of formalizing the theory of tempered distributions in the interacti…