New ask Hacker News story: Ask HN: Is there a system formalizing US tax code as set of inequalities

Ask HN: Is there a system formalizing US tax code as set of inequalities
5 by chaoxu | 0 comments on Hacker News.