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

Remove jsonLangTheory.

Open ordinarymath opened this issue 9 months ago • 0 comments

We should be using the upstream HOL json implementation added here https://github.com/HOL-Theorem-Prover/HOL/pull/1403

ordinarymath avatar Mar 27 '25 09:03 ordinarymath