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.

Versions [RSS] [faq] 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 NixOS:0.1.0.0
Downloads 70 total (11 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

Manual Flags

NameDescriptionDefault
werrorDisabled
proversDisabled
Automatic Flags
NameDescriptionDefault

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates