GitHub - samchrisinger/uttsolver: An ultimate tic tac toe solver written in coq and compiled to haskell

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
.cabal-sandbox		.cabal-sandbox
dist/dist-sandbox-aebbc98/setup		dist/dist-sandbox-aebbc98/setup
src/coq		src/coq
.gitignore		.gitignore
build.sh		build.sh

About

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

No releases published