A mathematical formulation of the tax code?https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html by henridf • 6 years ago 1 0 6 years agoBLblog.merigoux.ovh