Introduction to Formal Verification with Lean Part 1

 (hashcloak.com)

213 points | by badcryptobitch 3 days ago

41 comments