Formalizing US Tax Code (Using Lean)

by dnw | View on Hacker News