@hackage HTab1.7.3

Tableau based theorem prover for hybrid logics

Categories
License
BSD-3-Clause
Maintainer
guillaumh@gmail.com
Links
Versions
- 1.7.3 Fri, 15 May 2020
- 1.7.2 Thu, 25 Apr 2019
- 1.6.3 Sat, 10 Aug 2013
- 1.6.2 Tue, 29 Jan 2013
- 1.6.1 Thu, 5 Jul 2012
- 1.6.0 Fri, 2 Dec 2011

Installation
In your cabal file:
Dependencies (0)
- base >=4.10
- cmdargs >=0.10.10
- containers
- deepseq
- hylolib >=1.5.1
- mtl >=2
Dependents (1)
@hackage/acme-everything

Tableau based theorem prover for hybrid logics