Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hol

This package implements a higher order logic kernel with OpenTheory support.

Ecosystem
hackage.haskell.org
Latest Release
1.4
over 3 years ago
Versions
5
Downloads
2,896 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/hol
    spec
    License MIT
    First Release almost 9 years ago
    Last Synced 18 days ago
    Keywords
    library logic mit program Propose Tags