Dispersive equations

 Dispersive equations🔗

This project formalizes some fundamental results in nonlinear dispersive partial differential equations.

The code is hosted on Github and compiled with Lean 4.34.0-rc2.

Contents

  1. 1. The Fourier transform of a complex Gaussian
  2. 2. Solving the linear Schrödinger equation
  3. 3. Bibliography