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

Published 20 hours ago • verified publisher icon brain-research

Conversion logging

Open szegedy opened this issue 7 years ago • 0 comments

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.

szegedy avatar Mar 28 '17 02:03 szegedy