Skip to content
| Marketplace
Sign in
Visual Studio Code
>
Keymaps
>
Proof General keybindings for VSCoq
New to Visual Studio Code?
Get it now.
Proof General keybindings for VSCoq
Preview
siegebell
|
1,827 installs
|
(
0
)
|
Free
Provides keybindings for VSCoq that mimic Proof General
Installation
Launch VS Code Quick Open (
Ctrl+P
), paste the following command, and press enter.
Copy
Copied to clipboard
More Info
Overview
Version History
Q & A
Rating & Review
Proof General keybindings for
VSCoq
