This is the main project page for the HaskHOL proof system.
Relevant publications are contained within the papers directory.
The actual HaskHOL packages are located at the following repositories:
ecaustin/haskhol
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|