creusot-rs/creusot

Creusot helps you prove your Rust code is correct.

66 best points · 10 comments · 5 Hacker News posts · 1,956 GitHub stars · View on GitHub

Hacker News discussions

• Creusot helps you prove your Rust code is correct (66 points, 9 comments, by fanf2, 2026-05-28)
• Creusot: A deductive verifier for Rust code (3 points, 0 comments, by varbhat, 2024-02-21)
• Creusot, a deductive verifier for Rust code (3 points, 0 comments, by nextos, 2024-02-25)
• Creusot, a deductive verifier for Rust code (2 points, 0 comments, by PaulHoule, 2024-02-29)
• Release Creusot 0.1 · creusot-rs/creusot (2 points, 1 comments, by todsacerdoti, 2024-05-20)