@misc{indiciae92a6167b0ddf,
  title = {Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL},
  author = {David B. Hulak and Arthur F. Ramos and Ruy J. G. B. de Queiroz},
  year = {2026},
  url = {https://arxiv.org/abs/2605.02474},
  note = {Source identifier: 2605.02474}
}