@hackage / tableaux

An interactive theorem prover based on semantic tableaux

Latest0.3

Dependencies

executable:tableaux.cgi (7 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.13.2 && <2.14
- License: BSD-3-Clause
@hackage / cgi A library for writing CGI programs
- Version: >=3001.5.0 && <3001.6
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / html HTML combinator library
- Version: >=1.0.1 && <1.1
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.2 && <0.7
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.14 && <3.2
- License: BSD-2-Clause