hol-light
hol-light copied to clipboard
Published
20 hours ago •
brain-research
brain-research
Patched version of HOL Light with tactic logging for machine learning purposes
Results
1
hol-light issues
Sort by
recently updated
recently updated
newest added
This change allows to trace the parameter of CONV_TAC as a string for a first iteration of tracking conversions. The parameter of CONV_TAC is stored in the proof log.
Metadata
30
Stars
9
Forks
Watchers
Owner
Metadata
Patched version of HOL Light with tactic logging for machine learning purposes