Tag: theorem prover
Found 7 extensions tagged with "theorem prover".
theorem prover related extensions
-
Generic Input Method 0.0.12 VSIX File for VS Code New!
A generic input method which is suitable for YaTeX-like image completion for LaTeX or Unicode Symbol input for theorem provers such as Lean or Agda. ...
-
PVS 1.0.65 VSIX File for VS Code
Integrates the PVS theorem proving system into Visual Studio Code ...
-
VSCoq 2.1.2 VSIX File for VS Code
An IDE for the Coq Proof Assistant ...