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

Remove drule = old_drule

Open ordinarymath opened this issue 8 months ago • 0 comments

There a bunch of these drule = old_drule That is confusing I don't think that it would be worth it to fix proofs to use the new drule and just removing that alias should be fine

ordinarymath avatar May 07 '25 08:05 ordinarymath