Creusot 0.14.0 release - Contracts for Rust, formally proved
Web page · https://devlog.creusot.rs/v0-14-0
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Lobsters: 20, latest observation ; +10 over observed period since
Comments
Comment count reported by the source.
- Lobsters: 6, latest observation ; +3 over observed period since