hackage.haskell.org : hol
This package implements a higher order logic kernel with OpenTheory support.
Registry
- JSON
- codemeta.json
purl: pkg:hackage/hol
Keywords:
library
, logic
, mit
, program
, Propose Tags
License: MIT
Latest release: over 3 years ago
First release: almost 9 years ago
Downloads: 2,871 total
Last synced: about 2 months ago
Loading...
Readme
Loading...