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