Popular repositories Loading

1. vscoq vscoq Public

   Coq Support for Visual Studio Code

   TypeScript 92 9

2. vsc-prettify-symbols-mode vsc-prettify-symbols-mode Public

   Prettify Symbols Mode for Visual Studio Code

   TypeScript 86 22

3. scope-info scope-info Public

   vscode extension to view TextMate scope info upon hover

   TypeScript 14 3

4. vsc-incremental-search vsc-incremental-search Public

   Incremental search for vscode

   TypeScript 11 7

5. vscoq-pg vscoq-pg Public

   Proof General keybindings for VSCoq

   3

6. hdcoind hdcoind Public

   A Coinduction Proof Rule for Hoare Doubles

   Coq 1