Creusot 0.14.0 – Contracts for Rust, formally proved(devlog.creusot.rs)
2 pointsby syrak6 hours ago2 comments