@hackage / haskhol-core

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

Latest1.1.0

About

Metadata

  • Last updated , by EvanAustin
  • License BSD-3-Clause
  • Maintained by: Evan Austin <ecaustin@ittc.ku.edu>

  • Lottery factor: 0

Links

Installation

Readme

More details can be found at the following page: http://haskhol.org.