[![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