wip

mdr · Dec 1, 2024 · 96ed36f · 96ed36f
1 parent 9406c0e
commit 96ed36f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git 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.
diff --git a/notes.md 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?