Creusot, a deductive verifier for Rust codegithub.com3 points·nextos··0 commentsOpen articleSaveView on HN