@hackage htaut0.1.0.0

Tautology Proving Logic in Haskell

Categories
License
BSD-3-Clause
Maintainer
jjc9310@gmail.com
Links
Versions
- 0.1.1.0 Mon, 26 Sep 2016
- 0.1.0.0 Sun, 25 Sep 2016

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

Please see README.md