From 96ed36f49c6a754e81225998d050d22224ad5a6d Mon Sep 17 00:00:00 2001 From: Matt Russell Date: Sun, 1 Dec 2024 10:37:37 +0000 Subject: [PATCH] wip --- README.md | 6 +----- notes.md | 7 +++++++ 2 files changed, 8 insertions(+), 5 deletions(-) create mode 100644 notes.md 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?