Name		Name	Last commit message	Last commit date
Latest commit History 70 Commits
src/SetTheoryProver		src/SetTheoryProver
test		test
.ghci		.ghci
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
set-theory-prover.cabal		set-theory-prover.cabal
stack.yaml		stack.yaml