Challenge 20: Unbounded proofs for the char Searchers of str::pattern - #740

Challenge 20: Unbounded proofs for the char Searchers of str::pattern#740

hung1962003 wants to merge 7 commits into

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

hung1962003:challenge-20-char-searchershung1962003/verify-rust-std:challenge-20-char-searchersCopy head branch name to clipboard