verified 0.2.3

A library of types to facilitate the development of verifiable rust.
Documentation

Build Status

Verifiable Rust

Source code for the verified crate