Skip to content
| Marketplace
Sign in
Visual Studio Code>Keymaps>Proof General keybindings for VSCoqNew to Visual Studio Code? Get it now.
Proof General keybindings for VSCoq

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.
Copied to clipboard
More Info

Proof General keybindings for VSCoq

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft