YHK - yet another hacker news clone
Formalizing US Tax Code (Using Lean)
20 points dnw 1 hour ago 2 comments