We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
05922e0
This is the initial release of HaskHOL's mathematical and structural reasoning libraries.
