4 ms·
Lean and the other theorem provers turn mathematical proofs into levels of a computer puzzle game, much like a chess puzzle.
by kevinbuzzard 5y ago
Lean and the other theorem provers turn mathematical proofs into levels of a computer puzzle game, much like a chess puzzle.