A HOL Light extension for Visual Studio Code. It supports basic syntax highlighting and interaction with a HOL Light REPL in a terminal window. Autocompletion, hover messages, and Go to Definition ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results