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? [Re-uploaded in 1080p]
Segment from the 9/17/2026 AI Tools Chat.
Weekly at 6pm EST:
https://tangentcode.com/ai-tools-chat