Global Steady State of the Vlasov-Maxwell-Landau System

This project formalizes the main result (Theorem 42) of Guo & Strain, characterizing the global steady state of the Vlasov-Maxwell-Landau system on a flat 3-torus.

• Blueprint -- dependency graph and formalization status
• Lean Documentation -- API documentation
• GitHub repository