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

Implement case_constant

Open ordinarymath opened this issue 8 months ago • 0 comments

ordinarymath avatar May 04 '25 14:05 ordinarymath