Show HN: A proof-of-concept formalization of the IRS federal tax forms

5 points | by RGS1811 11 hours ago