Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium | Signal Canvas | ScienceToStartup