Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Creusot helps you prove your Rust code is correct (github.com/creusot-rs) 66 points by fanf2 9 days ago | past | 9 comments Release Creusot 0.1 · creusot-rs/creusot (github.com/creusot-rs) 2 points by todsacerdoti on May 20, 2024 | past | 1 comment Creusot, a deductive verifier for Rust code (github.com/creusot-rs) 2 points by PaulHoule on Feb 29, 2024 | past Creusot, a deductive verifier for Rust code (github.com/creusot-rs) 3 points by nextos on Feb 25, 2024 | past Creusot: A deductive verifier for Rust code (github.com/creusot-rs) 3 points by varbhat on Feb 21, 2024 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: