Hacker Next
From Zero to QED: An informal introduction to formality with Lean 4sdiehl.github.io
122 points by rwosync 6 days ago | 16 comments