Offline
Top
Day
Week
Formalizing US Tax Code (Using Lean)
129 points
·
dnw
·
8hrs ago
·
83 comments
·
lexifina.com