Lean är den enda programverifierare du behöver. Här är varför. 🧵