Getting Started #

In this chapter, we'll walk you through setting up Verus and running it on a sample program. You can either:

• Install Verus and run it from the command line
• Install Verus and run it from within VS Code

If you don't want to install Verus yet, but just want to experiment with it or follow along the tutorial, you can also run Verus through the Verus playground in your browser.