@hackage haskhol-core1.1.0

The core logical system of HaskHOL, an EDSL for HOL theorem proving.

Categories
License
BSD-3-Clause
Maintainer
Evan Austin <ecaustin@ittc.ku.edu>
Links
Versions
- 1.1.0 Tue, 17 Feb 2015
- 1.0.0 Fri, 20 Sep 2013

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

More details can be found at the following page: http://haskhol.org.