Lean ist der einzige Programmverifier, den du brauchst. Hier ist der Grund. 🧵