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
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