hackage.haskell.org : haskhol-core
Registry
- Homepage
- JSON
purl: pkg:hackage/haskhol-core
Keywords:
bsd3
, library
, theorem-provers
, Propose Tags
License: BSD-3-Clause
Latest release: over 10 years ago
First release: almost 12 years ago
Dependent repositories: 2
Downloads: 1,811 total
Last synced: 19 days ago
Loading...
Readme
Loading...