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

make termination_solve_simps use ThmSetData api

Open ordinarymath opened this issue 5 months ago • 0 comments

As in title.

ordinarymath avatar Jul 23 '25 05:07 ordinarymath