Data

Tools

Indexes

Applications

Experiments

Packages

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

LPPaver

Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme

Ecosystem
hackage.haskell.org
Latest Release
0.0.5.0
almost 3 years ago
Versions
2
Downloads
194 total
Dependent Packages
1
Dependent Repos
1
LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme
2 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 194 downloads total - 5 stars on GitHub - 1 maintainer
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
All kinds runtime 1
Links
Registry hackage.haskell.org
Source Repository
Homepage Homepage
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:hackage/LPPaver
spec
License MPL-2.0
First Release over 3 years ago
Last Synced 16 days ago
Keywords
formal-methods library math mathematics maths mpl program theorem-provers verification Propose Tags automatic-theorem-proving haskell theorem-prover theorem-proving
Repository
Stars 5 on GitHub
Forks 0 on GitHub
Commits 40
Committers 2
Avg per Author 20.0
DDS 0.1
commits.ecosyste.ms
repos.ecosyste.ms