Creusot 0.14.0 – Contracts for Rust, formally proved (devlog.creusot.rs) 1 points by syrak 15d ago ↗ HN
2 comments
[ 3.8 ms ] story [ 9.6 ms ] thread