discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Rust: Beyond the Typechecker
https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html
129 comments
16/4/2019
Lobsters
Rust: beyond the typechecker
https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html
6 comments
16/4/2019
formalmethods , rust
Reddit
A mathematical formulation of the tax code?
https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html
6 comments
31/1/2020
programming