Skip to content

docs: mark NonZero challenge as resolved - #663

Merged
feliperodri merged 2 commits into
model-checking:mainfrom
stefanzetzsche:docs/resolve-challenge-12
Sep 1, 2026
Merged

docs: mark NonZero challenge as resolved#663
feliperodri merged 2 commits into
model-checking:mainfrom
stefanzetzsche:docs/resolve-challenge-12

docs: address Challenge 12 follow-up feedback

7706e46
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify std library
succeeded Aug 30, 2026 in 29s