Hacker Neus
Introduction to Formal Verification with Lean Part 1
(hashcloak.com)
213 points
by badcryptobitch
3 days ago |
41 comments
