Using formal methods for analysing tax code Posted by dhruvparamhans on Saturday February 01, 2020 @05:35AM from the blog.merigoux.ovh dept. https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html ( no comments | 3 points | on HN )
There are no comments yet.