What Rust Got Wrong on Formal Verificationgavinhoward.com4 points·gavinhoward··0 commentsOpen articleSaveView on HN