Creusot 0.11.0: VerifyThis winner (by lyxia) — discussion

#formalmethods #release #rust