Creusot 0.9.0: Launching the Creusot Devlog (via armael) — discussion

#formalmethods #rust