Formalizing US Tax Code (Using Lean)

Formalizing the US Tax Code using the Lean mathematical proof system to create a verifiable model.

Hacker News submitter: dnw

Submitted to Hacker News: 2026-11-14

Original source Hacker News discussion