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

Make IMP_ANTISYM_RULE and SYM_CONV use INST instead of SPECL

Open ordinarymath opened this issue 1 month ago • 0 comments

Note that difficulty of this is that opentheory could break.

ordinarymath avatar Nov 08 '25 03:11 ordinarymath