Introduction to Formal Verification with Lean Part 1(hashcloak.com)218 points by badcryptobitch 3 months ago | 45 comments