View in EDS PDF Full Text

HOL(y)Hammer: Online ATP Service for HOL Light.

Saved in:
Bibliographic Details
Title: HOL(y)Hammer: Online ATP Service for HOL Light.
Authors: Kaliszyk, Cezary1, Urban, Josef2 josef.urban@gmail.com
Source: Mathematics in Computer Science. Mar2015, Vol. 9 Issue 1, p5-22. 18p.
Database: Mathematics Source
Description
ISSN:16618270
DOI:10.1007/s11786-014-0182-0