The hol package

[Tags:library, mit]

This package implements a higher order logic kernel.

Properties

Versions 1.0
Dependencies base (>=4.0 && <5.0) [details]
License MIT
Author Joe Leslie-Hurd <joe@gilith.com>
Maintainer Joe Leslie-Hurd <joe@gilith.com>
Category Logic
Uploaded Fri Apr 7 05:20:25 UTC 2017 by JoeHurd
Distributions NixOS:1.0
Downloads 37 total (37 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2017-04-07 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees