Tic-tac-toe meets Lean 4 (by wofo) — discussion

#formalmethods #math #plt