Proof General keybindings for VSCoq
Verified publisherWhat a VS Code verified publisher badge means, compared with Open VSX →
Provides keybindings for VSCoq that mimic Proof General
Tracked since 5 Sept 2026
Daily readings on both stores, taken by us. As of 24 Sept 2026.
Each bar is one day’s change in the store’s own counter.
Where Proof General keybindings for VSCoq ranks in search
Positions observed daily on both stores. Neither store publishes this, and the two run separate search engines over separate catalogues.
None of the searches we sample daily has turned up Proof General keybindings for VSCoq yet. Tracking it adds the searches you care about to the next crawl.
VS Code Marketplace search ranking: measuring jitter and real movement →
- Installs
- 1,946+0.1% 7d
- Rating
- —unrated
- Rank in Keymaps
- #189of 625
- Latest
- v0.2.028 Nov 2016
1 releases · first published Nov 2016
What the publisher says
Proof General keybindings for VSCoq’s own readme, changelog and license, as published to the VS Code Marketplace.