Creusot: A deductive verifier for Rust codegithub.com3 points·varbhat··0 commentsOpen articleSaveView on HN