[package]
name = "verus"
version = "0.0.0"
edition = "2021"
autoexamples = false
license = "MIT"
description = "Verus: Verified Rust for low-level systems code"
homepage = "https://github.com/verus-lang/verus"
repository = "https://github.com/verus-lang/verus"
documentation = "https://verus-lang.github.io/verus/verusdoc/vstd/"
readme = "README.md"
keywords = ["verus", "verified-rust"]
categories = ["development-tools", "development-tools::testing"]