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

Replace list_max with MAX_LIST

Open ordinarymath opened this issue 11 months ago • 0 comments

There is a list_max defined in miscTheory. It is identical to MAX_LIST in rich_listTheory. All uses of it should migrate to using MAX_LIST defined in richList and it should be removed.

ordinarymath avatar Jan 23 '25 06:01 ordinarymath