samchrisinger/uttsolver

An ultimate tic tac toe solver written in coq and compiled to haskell

Coq