Introduction to Formal Verification with Lean Part 1hashcloak.com
60 points by badcryptobitch 3 days ago | 1 comment