CJ Bell

icon indicating a website link http://people.csail.mit.edu/cj/

Results 2 repositories owned by CJ Bell

vscoq

91
Stars
9
Forks
Watchers

Coq Support for Visual Studio Code

verified publisher icon siegebell

vsc-prettify-symbols-mode

70
Stars
19
Forks
Watchers

Prettify Symbols Mode for Visual Studio Code

verified publisher icon siegebell