Related: Denis Merigoux used formal methods to find discontinuities in the French tax code. This should be a matter of course, done but the OBM for every propo

Related: Denis Merigoux used formal methods to find discontinuities in the French tax code. This should be a matter of course, done but the OBM for every proposed tax law change. https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.html https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.h...