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 e9caacf commit 63540f7Copy full SHA for 63540f7
doc/src/challenges/0016-iter.md
@@ -4,7 +4,7 @@
4
- **Tracking Issue:** [#280](https://github.com/model-checking/verify-rust-std/issues/280)
5
- **Start date:** *2025-03-07*
6
- **End date:** *2025-10-17*
7
-- **Reward:** *5000 USD*
+- **Reward:** *10,000 USD*
8
9
-------------------
10
0 commit comments