Lib.rs

›

#verify #verifiable #type #dependent #type-level

macro verify_macro

An attribute that automatically instruments code with logical type bounds

by Bobby Gebert

6 releases

0.2.3	Jun 17, 2020
0.2.2	Jun 13, 2020
0.1.1	Jun 8, 2020

#32 in #dependent

Used in 2 crates (via verified)

MIT license

54KB
1.5K SLoC

Verifiable Rust

Source code for the verified crate

Dependencies

~1.5MB
~33K SLoC