brain-research / hol-lightLinks

Patched version of HOL Light with tactic logging for machine learning purposes
34Updated 5 years ago

Alternatives and similar repositories for hol-light

Users that are interested in hol-light are comparing it to the libraries listed below

Sorting: