@hackage / logic-classes

Framework for propositional and first order logic, theorem proving

Latest1.7.1

Dependencies

library:logic-classes (14 dependencies)

@hackage / safe Library of safe (exception free) functions
- Version:
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.3 && <5
- License: BSD-3-Clause
@hackage / set-extra Functions that could be added to Data.Set.
- Version:
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version:
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause
@hackage / PropLogic Propositional Logic
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / atp-haskell Translation from Ocaml to Haskell of John Harrison's ATP code
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / applicative-extras Instances for Applicative
- Version:
- License: BSD-3-Clause
@hackage / safecopy Binary serialization with version control.
- Version:
- License: LicenseRef-PublicDomain
@hackage / parsec Monadic parser combinators
- Version:
- License: BSD-2-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1.2
- License: BSD-3-Clause

test:logic-classes-tests (12 dependencies)