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