@misc{indiciaef051f02ebbe9,
  title = {Formalization of Landau damping in the Vlasov--Poisson equations in Lean},
  author = {Jacob Bedrossian},
  year = {2026},
  url = {https://arxiv.org/abs/2609.16801},
  note = {Source identifier: 2609.16801}
}