HOL icon indicating copy to clipboard operation
HOL copied to clipboard
verified publisher icon HOL-Theorem-Prover

Initial attempt of fixing acl2/ml

Open ordinarymath opened this issue 1 month ago • 0 comments

ordinarymath avatar Nov 10 '25 15:11 ordinarymath