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

Isabelle version of the CakeML semantics

Open ordinarymath opened this issue 5 months ago • 0 comments

Isabelle's afp has a version of the CakeML semantics but that's based on old lem semantics. This issue is about creating a updated version of the semantics. It should be done in a robust way such that change's in the HOL4 semantics easily propagate.

ordinarymath avatar Jul 31 '25 10:07 ordinarymath