atp: Interface to automated theorem provers
[ formal-methods, gpl, library, logic, math, theorem-provers ]
[ Propose Tags ]
[ Report a vulnerability ]
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] |
| Tested with | ghc ==7.10.3, ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.3 |
| 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 | 205 total (5 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] |