Introduction to Formal Verification with Lean (Part 1)

I'll admit the rest of this company's site gives me a slight cryptobro ick (not to mention the obvious AI slop images), but I found this tutorial remarkably quaint and easy to follow.