@misc{indiciae69ca84797245,
  title = {Iris in Lean},
  author = {Markus de Medeiros and Sergei Stepanenko and Zongyuan Liu and Oliver Soeser and Fernando Leal and Alvin Tang and Max Vistrup and Ralf Jung and Mario Carneiro and Joseph Tassarotti and Michael Sammler and Lars Birkedal},
  year = {2026},
  url = {https://arxiv.org/abs/2609.24252},
  note = {Source identifier: 2609.24252}
}