RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Why do you think that https://github.com/joakim-strandberg/advent_of_code is a good alternative to rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Why do you think that https://github.com/joakim-strandberg/advent_of_code is a good alternative to rust-verification-tools