verified (cargo): A library of types to facilitate the development of verifiable rust.
Keywords: dependent|type-level|verify|verifiable|types