Releases: ecaustin/haskhol-math
Releases · ecaustin/haskhol-math
HaskHOL Math - 0.0.1
This is the initial release of HaskHOL's mathematical and structural reasoning libraries.
This is the initial release of HaskHOL's mathematical and structural reasoning libraries.