Creusot is a deductive verifier for the Rust programming language

1 pointsposted 6 hours ago
by Bluestein
(creusot.rs)

No comments yet