homepage: https://github.com/aztek/atp
changelog-type: markdown
hash: 1baada3b1f97030a0dbd28c77a3c89b477b2010bbaea5e24c5daaa57944a463a
test-bench-deps:
  Cabal: '>=1.16.0'
  base: -any
  text: -any
  doctest: -any
  containers: -any
  generic-random: '>=1.2.0.0 && <1.3'
  mtl: -any
  atp: -any
  QuickCheck: '>=2.4 && <3.0'
maintainer: evgeny.kotelnikov@gmail.com
synopsis: Interface to automated theorem provers
changelog: |
  # Revision history for atp

  ## 0.1.0.0 -- 2021-01-25

  * First version. Released on an unsuspecting world.
basic-deps:
  ansi-wl-pprint: '>=0.6.6 && <0.7'
  base: '>=4.8 && <5.0'
  text: '>=1.2.3 && <1.3'
  tptp: '>=0.1.3 && <0.2'
  process: '>=1.6.3 && <1.7'
  containers: '>=0.5.11 && <0.7'
  mtl: '>=2.2 && <3.0'
all-versions:
- 0.1.0.0
author: Evgenii Kotelnikov
latest: 0.1.0.0
description-type: haddock
description: |-
  Express theorems in first-order logic and automatically prove them using
  third-party reasoning tools.
license-name: GPL-3.0-only

Update from Hackage at 2021-01-25T15:02:30Z
Update from Hackage at 2021-01-25T15:02:30Z
