sml-redprl icon indicating copy to clipboard operation
sml-redprl copied to clipboard

Published 20 hours ago • verified publisher icon RedPRL

Auto tactic should peek into the equations in coe/hcom instead trying all rules in sequence

Open favonia opened this issue 6 years ago • 0 comments

favonia avatar Mar 07 '18 04:03 favonia