Hacker News new | ask | show | jobs
Using formal methods for analysing tax code (blog.merigoux.ovh)
3 points by dhruvparamhans 2330 days ago