cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard
verified publisher icon CakeML

remove opt_rel_def in flat_to_closProofTheory

Open ordinarymath opened this issue 3 months ago • 0 comments

https://github.com/CakeML/cakeml/blob/6ddaf6f8d86d8d5f57f0bcfc8fdd78f855e3daae/compiler/backend/proofs/flat_to_closProofScript.sml#L72-L76

OPTREL should be used instead.

ordinarymath avatar Oct 02 '25 02:10 ordinarymath