#proof assistant
PVS-8
paolomasci
Integrates the PVS theorem proving system into Visual Studio Code
Programming Languages
#keybindings
83
L
Lean Processed Highlighter
Leasier
Highlight proven (processed) regions of Lean 4 files in green, similar to VSRocq. Supports stepping through proof blocks with Alt+Up/Down.
Programming Languages
Visualization
#keybindings
10
V
Violet
dannypsnl
Language support for the Violet dependently-typed proof assistant: LSP client (diagnostics, hover, goto-definition, references), semantic highlighting, unicode input, and snippets.
Programming Languages
#keybindings
6
VSquirrel Prover
tresml-lang
VScod{e,ium} extension for Squirrel proof assistant.
Programming Languages
#keybindings
1