@hackage / haskhol-core

The core logical system of HaskHOL, an EDSL for HOL theorem proving.

1.1.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain