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

(github.com)

5 points | by RGS1811 8 hours ago ago