close linked-list challenge

thanhnguyen-aws · Mar 4, 2025 · ecef1bf · ecef1bf
1 parent fe53955
commit ecef1bf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/src/challenges/0005-linked-list.md b/doc/src/challenges/0005-linked-list.md
@@ -1,10 +1,11 @@
 # Challenge 5: Verify functions iterating over inductive data type: `linked_list`
 
-- **Status:** Open
+- **Status:** Resolved
 - **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
 - **Start date:** *2024/07/01*
 - **End date:** *2025/04/10*
 - **Reward:** *5,000 USD*
+- **Contributors**: [Bart Jacobs](https://github.com/btj)
 
 -------------------