verus 0.0.0

Verus: Verified Rust for low-level systems code
1
2
3
4
5
6
7
8
9
10
11
12
13

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