├── .gitignore ├── ChangeLog.md ├── LICENSE ├── README.md ├── Setup.hs ├── examples ├── Examples.hs └── Hout │ └── Examples.hs ├── hout.cabal ├── src └── Hout │ ├── Logic │ ├── FirstOrder.hs │ └── Intuitionistic.hs │ └── Prover │ ├── Proofs.hs │ └── Tactics.hs └── stack.yaml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/.gitignore -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- 1 | # Changelog for hout 2 | 3 | ## 2020-04-11 -- 0.1.0.0 4 | 5 | First release. 6 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /examples/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/examples/Examples.hs -------------------------------------------------------------------------------- /examples/Hout/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/examples/Hout/Examples.hs -------------------------------------------------------------------------------- /hout.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/hout.cabal -------------------------------------------------------------------------------- /src/Hout/Logic/FirstOrder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/src/Hout/Logic/FirstOrder.hs -------------------------------------------------------------------------------- /src/Hout/Logic/Intuitionistic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/src/Hout/Logic/Intuitionistic.hs -------------------------------------------------------------------------------- /src/Hout/Prover/Proofs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/src/Hout/Prover/Proofs.hs -------------------------------------------------------------------------------- /src/Hout/Prover/Tactics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/src/Hout/Prover/Tactics.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ivanbakel/hout-prover/HEAD/stack.yaml --------------------------------------------------------------------------------