Preprints
Iris in Lean
Markus de Medeiros
, Sergei Stepanenko, Zongyuan Liu, Oliver Soeser, Fernando Leal, Alvin Tang, Max Vistrup, Ralf Jung, Mario Carneiro, Joseph Tassarotti, Michael Sammler, and Lars Birkedal.
Submitted to
CPP 2027
[ arXiv ]