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