Update README.md now that Challenge 1 is resolved#486

feliperodri merged 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:update-readme-challenge-1tautschnig/verify-rust-std:update-readme-challenge-1Copy head branch name to clipboard