3 ms·
Someone did do this - finding discontinuities in the tax law - using formal methods, for the French tax law: https://blog.merigoux.fr/en/2019/12/20/taxes-forma
by pradn 6y ago
Someone did do this - finding discontinuities in the tax law - using formal methods, for the French tax law:
https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.html https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.h...