Introduction to Formal Verification with Lean (Part 1) (via nemin) — discussion

#formalmethods