creusot-rs/creusot
View on GitHub ↗ ★ 1,951 Rust
Creusot helps you prove your Rust code is correct.
17 mentions on Hacker News by 15 people: 6 stories, 11 comments · first 2022-02-02 · latest 2026-09-17
20082026
-
▲ 66
Creusot helps you prove your Rust code is correctstory by fanf2 · 2026-05-28 · 9 comments
-
▲ 2
Release Creusot 0.1 · creusot-rs/creusotstory by todsacerdoti · 2024-05-20 · 1 comment
-
▲ 2
Creusot, a deductive verifier for Rust codestory by PaulHoule · 2024-02-29 · 0 comments
-
▲ 3
Creusot, a deductive verifier for Rust codestory by nextos · 2024-02-25 · 0 comments
-
▲ 3
Creusot: A deductive verifier for Rust codestory by varbhat · 2024-02-21 · 0 comments
-
▲ 1
Creusot: Deductive Verification of Ruststory by harporoeder · 2022-06-17 · 0 comments