Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
- Charleston, SC
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
The Main HaskHOL project page
HaskHOL libraries for higher level deductive reasoning.
HaskHOL libraries for mathematical and structural reasoning.
HaskHOL libraries for Haskell reasoning, including a verification plugin.
Minimal example of bad interaction between Template Haskell, FFI, and Cabal.