This is your work, valued

CJ Bell

Advanced
@siegebell
people.csail.mit.edu/cj/

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

93

vscoq. Coq Support for Visual Studio Code

91

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

16

vsc-incremental-search. Incremental search for vscode

11

vscoq-pg. Proof General keybindings for VSCoq

3

hdcoind. A Coinduction Proof Rule for Hoare Doubles

1