verus 0.0.0

Verus: Verified Rust for low-level systems code
1
2
3
4
5
6
7

# Verus

[![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/), until we can support direct installation 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).