literate-unitb-logic

OS X / Linux:

Windows:

Backend prover for doing predicate calculus with sequent calculus proofs

Name		Name	Last commit message	Last commit date
Latest commit History 163 Commits
Language/Haskell/TH		Language/Haskell/TH
Logic		Logic
Z3		Z3
suite		suite
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
appveyor.yml		appveyor.yml
literate-unitb-logic.cabal		literate-unitb-logic.cabal
literate-unitb-logic.sublime-project		literate-unitb-logic.sublime-project
split_lib.bash		split_lib.bash
stack-nightly.yaml		stack-nightly.yaml
stack.yaml		stack.yaml
travis_long.sh		travis_long.sh

Provide feedback