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

add a keybinding that loads the dependencies of files for vim

Open ordinarymath opened this issue 8 months ago • 0 comments

Its really annoying to have to manually send regions with loads

ordinarymath avatar Apr 25 '25 07:04 ordinarymath