Ask HN: Is there a system formalizing US tax code as set of inequalities · HackerTrans