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

Remove libScript.sml

Open dnezam opened this issue 1 year ago • 0 comments

As suggested by @myreen on Discord, the definitions in libScript.sml should be removed if unused, moved to miscScript.sml, or upstreamed to HOL4 (where it makes sense).

dnezam avatar Oct 15 '24 18:10 dnezam