What's new in Creusot?
Devlog of the Creusot deductive verifier for Rust. The Creusot team is part of Laboratoire Méthodes Formelles.
Creusot 0.9.0: Launching the Creusot Devlog
Creusot at POPL, tutorial, and more!
·
6min
Creusot 0.9.0: Launching the Creusot Devlog