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

Make ability to use "transient" (deleted on export) definitions easier for users

Open mn200 opened this issue 3 years ago • 0 comments

mn200 avatar Oct 25 '22 09:10 mn200