ecaustin/haskhol-core ecaustin/haskhol-core

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 2-Clause "Sim...
  • Created about 11 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ecaustin/haskhol-core
github

ecaustin

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.

More Repositories

1

haskhol

The Main HaskHOL project page
CSS
1
star