Proof General keybindings for VSCoq

Preview

siegebell

|

384 installs

|

419 downloads

(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