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 5753768 commit 5d96be1Copy full SHA for 5d96be1
doc/src/challenges/0010-string.md
@@ -4,7 +4,6 @@
4
- **Tracking Issue:** [#61](https://github.com/model-checking/verify-rust-std/issues/61)
5
- **Start date:** *2024/08/19*
6
- **End date:** *2025/04/10*
7
-- **Reward:** *N/A*
8
- **Reward:** *10000 USD*
9
10
-------------------
0 commit comments