hol-light icon indicating copy to clipboard operation
hol-light copied to clipboard

Published 20 hours ago • verified publisher icon brain-research
→

Metadata

Patched version of HOL Light with tactic logging for machine learning purposes

This repository contains an implementation of the HOList proof assistant API based on HOL Light (https://www.cl.cam.ac.uk/~jrh13/hol-light/).

For more information about HOList, see http://deephol.org.

← Metadata

30
Stars
9
Forks
Watchers

Owner

verified publisher icon brain-research

Metadata

Patched version of HOL Light with tactic logging for machine learning purposes

Back