atp: Interface to automated theorem provers
Express theorems in first-order logic and automatically prove them using third-party reasoning tools.
Modules
[Index] [Quick Jump]
Flags
Manual Flags
Name | Description | Default |
---|---|---|
werror | Disabled | |
provers | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- atp-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | ansi-wl-pprint (>=0.6.6 && <0.7), base (>=4.8 && <5.0), containers (>=0.5.11 && <0.7), mtl (>=2.2 && <3.0), process (>=1.6.3 && <1.7), semigroups (>=0.18 && <1.0), text (>=1.2.3 && <1.3), tptp (>=0.1.3 && <0.2) [details] |
License | GPL-3.0-only |
Author | Evgenii Kotelnikov |
Maintainer | evgeny.kotelnikov@gmail.com |
Category | Theorem Provers, Formal Methods, Logic, Math |
Home page | https://github.com/aztek/atp |
Bug tracker | https://github.com/aztek/atp/issues |
Source repo | head: git clone git://github.com/aztek/atp.git |
Uploaded | by EK at 2021-01-25T14:57:07Z |
Distributions | |
Downloads | 203 total (7 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |