Introduction to Formal Verification with Lean Part 1

215 points

by badcryptobitch

3 days ago

41 comments