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.10.0: February update
Assumptions, workspaces, and nightly shenanigans
·
5min
Creusot 0.10.0: February update
Creusot 0.9.0: Launching the Creusot Devlog
Creusot at POPL, tutorial, and more!
·
6min
Creusot 0.9.0: Launching the Creusot Devlog