Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
DefinitelyTyped
The repository for high quality TypeScript type definitions.
FiraCode
Monospaced font with programming ligatures
hdcoind
A Coinduction Proof Rule for Hoare Doubles
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
scope-info
vscode extension to view TextMate scope info upon hover
vsc-incremental-search
Incremental search for vscode
vsc-prettify-symbols-mode
Prettify Symbols Mode for Visual Studio Code
vscoq
Coq Support for Visual Studio Code
vscoq-pg
Proof General keybindings for VSCoq
siegebell's Repositories
siegebell/vscoq
Coq Support for Visual Studio Code
siegebell/vsc-prettify-symbols-mode
Prettify Symbols Mode for Visual Studio Code
siegebell/scope-info
vscode extension to view TextMate scope info upon hover
siegebell/vsc-incremental-search
Incremental search for vscode
siegebell/vscoq-pg
Proof General keybindings for VSCoq
siegebell/FiraCode
Monospaced font with programming ligatures
siegebell/hdcoind
A Coinduction Proof Rule for Hoare Doubles
siegebell/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
siegebell/DefinitelyTyped
The repository for high quality TypeScript type definitions.
siegebell/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
siegebell/monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
siegebell/vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js