“like very far from automated I mean it automates the…” — Software Engineering Daily at 44:51
“like very far from automated I mean it automates the checking of the argument you found right whereas these tools like a positional satisfiability solver like catacol is fully fully automated but it's only solving the combinatorial problem whereas lean is solving an undecided is trying to solve an undecidable problem…”
0:00
50:29