From Hacker News

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: 36 # Comments: 7

Read the full report at Hacker News ↗