← back to paper
arxiv: 2607.08986 · 2 revisions
A Formalization of the Mean-Field Derivation of the Vlasov Equation