docs: mark NonZero challenge as resolved - #663

docs: mark NonZero challenge as resolved#663

feliperodri merged 2 commits into

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

stefanzetzsche:docs/resolve-challenge-12stefanzetzsche/verify-rust-std:docs/resolve-challenge-12Copy head branch name to clipboard