atp: Interface to automated theorem provers

[ formal-methods, gpl, library, logic, math, theorem-provers ] [ Propose Tags ]

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

Flags

Manual Flags

NameDescriptionDefault
werrorDisabled
proversDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

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]