One line. Many voicesSeek and you shall find

news.ycombinator.com faviconShow HN: A proof-of-concept formalization of the IRS federal tax forms

kept by

A proof-of-concept project formalizes IRS federal tax forms using a formal specification language, enabling accurate automated computation and verification of tax rules.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.