An ultimate tic tac toe solver written in coq and compiled to haskell
Primary LanguageCoq
This repository is not active