Admin/components/cakeml
author desharna
Fri, 11 Jul 2025 10:12:01 +0200
changeset 82825 5e9c9f2c2cd8
parent 69072 337b8ce5ff8d
permissions -rw-r--r--
added option `-S` to Mirabelle to specify the subgoal classes to consider

cakeml-2.0