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

Add support for subprocesses in CakeML

Open ordinarymath opened this issue 7 months ago • 0 comments

This is about adding support for OS.Process.system to CakeML. Note that this issue includes adding models such that one can reason about sub processes.

ordinarymath avatar May 25 '25 07:05 ordinarymath