discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Formally Verifying Rust's Opaque Types
https://dylanj.xyz/posts/rust-coq-opaque-types/
65 comments
1/8/2022