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

[ bsd3, library, theorem-provers ] [ Propose Tags ]

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

Modules

[Last Documentation]

HaskHOL
- HaskHOL.Core
  - HaskHOL.Core.Basics
  - HaskHOL.Core.Ext
  - HaskHOL.Core.Kernel
    - HaskHOL.Core.Kernel.Terms
    - HaskHOL.Core.Kernel.Types
  - HaskHOL.Core.Lib
    - HaskHOL.Core.Lib.Families
  - HaskHOL.Core.Parser
  - HaskHOL.Core.Printer
  - HaskHOL.Core.State
    - HaskHOL.Core.State.Monad

Downloads

haskhol-core-1.1.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

EvanAustin

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	1.0.0, 1.1.0
Dependencies	acid-state (>=0.12), base (>=4.7 && <4.8), containers (>=0.5), deepseq (>=1.3), filepath (>=1.3), ghc-prim (>=0.3), hashable (>=1.2), mtl (>=2.2), parsec (>=3.1), pretty (>=1.1), safecopy (>=0.8), shelly (>=1.5), template-haskell (>=2.9), text (>=1.2), text-show (>=0.6), th-lift (>=0.7), unordered-containers (>=0.2) [details]
License	BSD-3-Clause
Author	Evan Austin <ecaustin@ittc.ku.edu>
Maintainer	Evan Austin <ecaustin@ittc.ku.edu>
Category	Theorem Provers
Home page	http://haskhol.org
Source repo	head: git clone git://github.com/ecaustin/haskhol-core.git
Uploaded	by EvanAustin at 2015-02-17T16:16:09Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	1787 total (10 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] Last success reported on 2015-05-19 [all 8 reports]