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

Use ThmSetData correctly in translator

Open xrchz opened this issue 1 year ago • 0 comments 

          @myreen claims the translator now does this, although not using ThmSetData correctly (not storing only deltas)

Originally posted by @xrchz in https://github.com/CakeML/cakeml/issues/360#issuecomment-2470572325

xrchz avatar Nov 12 '24 13:11 xrchz