Lean can check your logic, but it can't check your definitions. And there are plenty of ways to "cheat". So can you even trust Lean?
NOTE: I accidentally uploaded this video in 360p (low resolution).
There's an HD VERSION (1080p) here:
https://youtu.be/1IhAPmrDOL8
Segment from the 9/17/2026 AI Tools Chat.
Weekly at 6pm EST:
https://tangentcode.com/ai-tools-chat