Formalizing US Tax Code (Using Lean)

Article URL: https://lexifina.com/blog/formalizing-the-us-tax-code Comments URL: https://news.ycombinator.com/item?id=50497900 Points: 138 # Comments: 92