Update README.md

shilangyu · Dec 2, 2024 · 82ddb89 · 82ddb89
1 parent b27779c
commit 82ddb89
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,6 @@
 ### Yes hello ❤️
 
+- 🎅 [Having fun with Advent of Code by coding proofs](https://github.com/shilangyu/AoC-2024)
 - 🔭 Interested in programming language theory
 - ✍️ Hacking in `main.{ts,tsx,rs,jl,go,py,dart,kk}`
 - 🌱 Currently learning Lean, Coq, Scala, and Swift