moving changes to the new location of the installation guide

Certora · Sep 4, 2024 · 35ca03a · 35ca03a
1 parent 30ac07e
commit 35ca03a
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 370 deletions.
diff --git a/docs/user-guide/getting-started/install.md b/docs/user-guide/getting-started/install.md
diff --git a/docs/user-guide/install.md b/docs/user-guide/install.md
@@ -426,10 +426,21 @@ full path to the `solc` executables folder every time.
               source .profile
 ```
 
+```{index} single: install; vyper
+```
+
+Step 5 (optional, for Vyper users): Install the Vyper compiler (`vyper`)
+--------------------------------------------------------------------------------
+[Vyper](https://github.com/vyperlang/vyper) is an EVM compatible Pythonic smart contract language.
+Since the Certora Prover operates on the bytecode, it can be applied to any source-level language
+that compiles to EVM bytecode.
+We recommend to install Vyper either from PyPi (i.e., `pip install vyper`) or to get a 
+binary executable for the desired version.
+
 ```{index} single: VS code; extension
 ```
 
-Step 5 (for VS Code users): Install the Certora Verification Language LSP
+Step 6 (for VS Code users): Install the Certora Verification Language LSP
 -------------------------------------------------------------------------
 
 All users of the Certora Prover can access the tool using the command line