Tic-tac-toe meets Lean 4

Wait 5 sec.

Article URL: https://ochagavia.nl/blog/tic-tac-toe-meets-lean-4/Comments URL: https://news.ycombinator.com/item?id=45059802Points: 2# Comments: 0