@hackage atp0.1.0.0

Interface to automated theorem provers

Categories
- Mathematics
License
GPL-3.0-only
Maintainer
evgeny.kotelnikov@gmail.com
Links
Versions
- 0.1.0.0 Mon, 25 Jan 2021

Express theorems in first-order logic and automatically prove them using third-party reasoning tools.

Installation
In your cabal file:
Tested Compilers
Dependencies (8)
- base >=4.8 && <5.0
- containers >=0.5.11 && <0.7
- mtl >=2.2 && <3.0
- process >=1.6.3 && <1.7
- text >=1.2.3 && <1.3
- ansi-wl-pprint >=0.6.6 && <0.7
Dependents (0)

Package Flags

werror

(off by default)

provers

(off by default)