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

Try to store only delta's in translator Part 1

Open ordinarymath opened this issue 1 month ago • 1 comments

This is quite a bad way but still better than the old way Progress list.

  1. unpack_types --done
  2. unpack_v_thms
  3. unpack_cons_names
  4. unpack_type_mods

ordinarymath avatar Dec 05 '25 04:12 ordinarymath

DO NOT MERGE. I'm only opening a PR to test with regression

ordinarymath avatar Dec 05 '25 04:12 ordinarymath