Tag: proof assistant
Found 2 extensions tagged with "proof assistant".
proof assistant related extensions
-
PVS 1.0.64 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 ...