Bonn Analysis Seminar

We will formalize results in Fourier analysis, such as Plancherel’s theorem and the interpolation theorems.

Build the Lean files

To build the Lean files of this project, you need to have a working version of Lean. See the installation instructions (under Regular install).

To build the project, run lake exe cache get and then lake build.

For more detailed build and contribution instructions see the Github README.