diff --git a/README.md b/README.md
index ead18b3..a958f33 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1 @@
-https://github.com/chenson2018/advent-of-code/blob/main/2024/lean/AoC/Day01.lean
-https://github.com/kiranandcode/lean-aoc/blob/main/Solutions/Day1.lean
-
-How to do unit tests / basic theorems for particular values?
-Build different executables in Lakefile for each day?
+Solutions for Advent of Code 2024 in Lean 4.
\ No newline at end of file
diff --git a/notes.md b/notes.md
new file mode 100644
index 0000000..784c369
--- /dev/null
+++ b/notes.md
@@ -0,0 +1,7 @@
+## Other Lean solutions
+* https://github.com/chenson2018/advent-of-code/blob/main/2024/lean/AoC/Day01.lean
+* https://github.com/kiranandcode/lean-aoc/blob/main/Solutions/Day1.lean
+
+## Questions
+* How to do unit tests / example theorems for particular values?
+* Build different executables in Lakefile for each day?