add contributors for Primitive conversions

model-checking · Feb 19, 2025 · cedd00c · cedd00c
1 parent 00ba598
commit cedd00c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/challenges/0014-convert-num.md b/doc/src/challenges/0014-convert-num.md
@@ -5,7 +5,7 @@
 - **Start date:** 2024/12/15
 - **End date:** 2025/2/28
 - **Prize:** *TBD*
-
+- **Contributors**: [Shoyu Vanilla](https://github.com/ShoyuVanilla)
 -------------------
 
 ## Goal