Close Challenge 9 (rust-lang#224)

Resolves rust-lang#72

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

doc/src/challenges/0009-duration.md

@@ -1,14 +1,13 @@
 # Challenge 9: Safe abstractions for `core::time::Duration`
 
-- **Status:** Open
+- **Status:** Resolved
 - **Tracking Issue:** [#72](https://github.com/model-checking/verify-rust-std/issues/72)
 - **Start date:** *2024/08/20*
-- **End date:** *2025/04/10*
+- **End date:** *2024/12/10*
 - **Reward:** *N/A*
-
+- **Contributors**: [Samuel Thomas](https://github.com/sgpthomas) and [Cole Vick](https://github.com/cvick32)
 -------------------
 
-
 ## Goal
 
 Write function contracts for `core::time::Duration` that can be used as safe abstractions.