Releases: ecaustin/haskhol-deductive
Releases · ecaustin/haskhol-deductive
HaskHOL Deductive - 0.1.0
This is a semi-stable, but largely undocumented, initial release of HaskHOL's deductive reasoning libraries.
This is a semi-stable, but largely undocumented, initial release of HaskHOL's deductive reasoning libraries.