Introduction to Formal Verification with Lean Part 1 | Hacker News

Introduction to Formal Verification with Lean Part 1 (hashcloak.com)

213 points by badcryptobitch 3 days ago | 41 comments

Loading...