haskhol-deductive HaskHOL libraries for higher level deductive reasoning. See haskhol.org for more information.