Skip to content

HaskHOL Deductive - 0.1.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@ecaustin ecaustin released this 17 Feb 16:48
· 38 commits to master since this release
v0.1.0-beta
3065266

This is a semi-stable, but largely undocumented, initial release of HaskHOL's deductive reasoning libraries.

Assets 2
Loading