# Libraries The Verus standard library, `vstd`, comes with a variety of utilities and datatypes for proofs, as well as runtime functionality with specifications. Most Verus programs will start with `use vstd::prelude::*;`, which pulls in a default set of definitions that we find generally useful. This chapter will introduce a few of them, but you can find more complete descriptions in the [vstd documentation](https://verus-lang.github.io/verus/verusdoc/vstd/).