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!
·
6min
Creusot 0.9.0
Devlog of the Creusot deductive verifier for Rust. The Creusot team is part of Laboratoire Méthodes Formelles.
Launching the Creusot Devlog!