Introduction to Formal Verification with Lean Part 1

209 points

by badcryptobitch

3 days ago

41 comments