This extension adds support for Why3 proofs to VSCode, enabling users to do program verification directly in their code.
WhyCode uses an LSP server to provide Code Actions that perform verification strategies. Note: The LSP server must currently be installed manually
Usage will also require at least one backend to Why3 sucg as Z3, CVC5 or Alt-Ergo.