CJ Bell

vsc-prettify-symbols-mode. Prettify Symbols Mode for Visual Studio Code

vscoq. Coq Support for Visual Studio Code

scope-info. vscode extension to view TextMate scope info upon hover

vsc-incremental-search. Incremental search for vscode

vscoq-pg. Proof General keybindings for VSCoq

hdcoind. A Coinduction Proof Rule for Hoare Doubles