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