Challenge 23: Verify Vec Part1 safety with Kani#598

v3risec wants to merge 2 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

v3risec:challenge-23-vec-part1v3risec/verify-rust-std:challenge-23-vec-part1Copy head branch name to clipboard