Creusot: A deductive verifier for Rust code

3 points by varbhat 1 year ago | 0 comments