An ultimate tic tac toe solver written in coq and compiled to haskell
Primary LanguageCoq
No issues in this repository yet.