@hackage / atp

Interface to automated theorem provers

Latest0.1.0.0

Dependencies

library:atp (8 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.8 && <5.0
- License: BSD-3-Clause
@hackage / ansi-wl-pprint The Wadler/Leijen Pretty Printer for colored ANSI terminal output
- Version: >=0.6.6 && <0.7
- License: BSD-3-Clause
@hackage / tptp Parser and pretty printer for the TPTP language
- Version: >=0.1.3 && <0.2
- License: GPL-3.0-only
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <3.0
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.3 && <1.3
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.11 && <0.7
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.6.3 && <1.7
- License: BSD-3-Clause
@hackage / semigroups Anything that associates
- Version: >=0.18 && <1.0
- License: BSD-3-Clause

test:doc (7 dependencies)

test:property (8 dependencies)

test:unit (3 dependencies)