# Verus Standard Library

[![Quick Start](https://img.shields.io/badge/tutorial-quick%20start-informational)](https://verus-lang.github.io/verus/guide/getting_started.html) [![Library Documentation](https://img.shields.io/badge/docs-vstd-informational)](https://verus-lang.github.io/verus/verusdoc/vstd/) [![project chat](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://verus-lang.zulipchat.com)

This is a placeholder crate for [Verus](https://github.com/verus-lang/verus/)'s standard library, until we can support direct usage from crates.io.

For now, you can try Verus in your browser on the [Verus Playground](https://play.verus-lang.org/), or to install Verus locally, follow our more detailed [installation instructions](https://github.com/verus-lang/verus/blob/main/INSTALL.md).