New challenge: Safety and correctness of integer logarithms - #729

New challenge: Safety and correctness of integer logarithms#729

Kieran-Hulsman wants to merge 4 commits into

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

Kieran-Hulsman:kieran/ilog-challenge-proposalKieran-Hulsman/verify-rust-std:kieran/ilog-challenge-proposalCopy head branch name to clipboard