Docs: remove challenge end dates and fix README/challenge inconsistencies - #629

Docs: remove challenge end dates and fix README/challenge inconsistencies#629

feliperodri wants to merge 5 commits into

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

feliperodri:remove-challenge-end-datesfeliperodri/verify-rust-std:remove-challenge-end-datesCopy head branch name to clipboard