Hacker Next
Introduction to Formal Verification with Lean Part 1hashcloak.com
19 points by badcryptobitch 3 days ago | 0 comments