Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for hout-0.1.0.0 source tarball
hout-0.1.0.0/
ChangeLog.md
LICENSE
README.md
Setup.hs
hout.cabal
examples/
Examples.hs
Hout/
Examples.hs
src/
Hout/
Logic/
FirstOrder.hs
Intuitionistic.hs
Prover/
Proofs.hs
Tactics.hs