Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium Paper • 2603.15929 • Published 4 days ago • 12