verified 0.2.2

A library of types to facilitate the development of verifiable rust.
Documentation 
{
  "git": {
    "sha1": "4b7f82219e2d2414df9a0903326fca4308d8db5d"
  }
}