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

emacs-mode: have intermediate stage between all black&white, and full colouring with lots of type info

Open mn200 opened this issue 3 years ago • 0 comments

mn200 avatar Oct 25 '22 09:10 mn200