verified 0.1.1

A library of types to facilitate the development of verifiable rust.
Documentation 
1
2
3
4

[![Build Status](https://github.com/bobbygebert/verified/workflows/Rust/badge.svg)](https://github.com/bobbygebert/actions?workflow=Rust)

# Verifiable Rust
Source code for the verified crate