The PlasmaLean Rosetta Stone

Stellarator optimization is often presented in coordinate-heavy plasma physics notation, obscuring the fact that its core objects are classic structures in differential topology, symplectic & contact geometry, and complex analysis on Riemann surfaces. Use this interactive dictionary to translate between physics intuition, intrinsic geometry, and exact Lean 4 specifications.