Introduction to Formal Verification with Lean Part 1

 (hashcloak.com)

54 points | by badcryptobitch 2 days ago

1 comments