Proof General keybindings for VSCoq

Provides keybindings for VSCoq that mimic Proof General

推荐

不推荐

更多信息

code --install-extension siegebell.proof-general-keybindings-for-vscoq

标签

根据用户添加的标签生成

暂无标签