We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5d96be1 commit 017a5e3Copy full SHA for 017a5e3
doc/src/challenges/0012-nonzero.md
@@ -4,7 +4,6 @@
4
- **Tracking Issue:** [#71](https://github.com/model-checking/verify-rust-std/issues/71)
5
- **Start date:** *2024/08/23*
6
- **End date:** *2025/04/10*
7
-- **Reward:** *N/A*
8
- **Reward:** *10000 USD*
9
10
-------------------
0 commit comments