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 ad19f48 commit e9d20efCopy full SHA for e9d20ef
doc/src/challenges/0023-vec-pt1.md
@@ -2,8 +2,8 @@
2
3
- **Status:** Open
4
- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
5
-- **Start date:** *2025/03/07*
6
-- **End date:** *2025/10/17*
+- **Start date:** *2025-03-07*
+- **End date:** *2025-10-17*
7
- **Reward:** *?*
8
9
-------------------
0 commit comments