3 ms·
CakeML was verified in HOL (https://hol-theorem-prover.org/ https://hol-theorem-prover.org/), not Isabelle.
by logicchains 9y ago
CakeML was verified in HOL (https://hol-theorem-prover.org/ https://hol-theorem-prover.org/), not Isabelle.
- neel_k 9y agoYes, you're right. Thanks for the correction!