Tic-tac-toe meets Lean 4

(ochagavia.nl)

4 points | by todsacerdoti 14 hours ago ago