Data

Tools

Indexes

Applications

Experiments

Packages

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

logic-classes

Framework for propositional and first order logic, theorem proving

Ecosystem
hackage.haskell.org
Latest Release
1.7.1
over 9 years ago
Versions
20
Downloads
13,911 total
Dependent Packages
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/logic-classes
    spec
    License BSD-3-Clause
    First Release over 14 years ago
    Last Synced 17 days ago
    Keywords
    bsd3 library logic theorem-provers Propose Tags
    Repository
    Stars 7 on GitHub
    Forks 2 on GitHub
    repos.ecosyste.ms