discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
A mathematical formulation of the tax code?
https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.html
15 comments
13/10/2020
formalmethods , law
Reddit
Rust: beyond the typechecker
http://blog.merigoux.fr/en/2019/04/16/verifying-rust.html
33 comments
16/4/2019
rust