•SiTech AI Team
Creusot 0.14.0 adds partial order specs, snapshot VCs, and rust-analyzer navigation
Creusot 0.14.0 releases updates to the Rust formal verification tool: PartialOrd specifications now accept partial orders, snapshot calls gain verification conditions for lemma use, and Go to definition works for Pearlite in rust-analyzer.
