advent-of-lean-4

My attempts at solving the Advent of Code 2020 puzzles in Lean 4.

Please note:

This repository contains spoilers for AoC 2020. (Obviously!)
Lean 4 is still work in progress, so some of these solutions might stop working as Lean 4 evolves.
This project is not affiliated with Lean 4 in any way.

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
1		1
10		10
11		11
12		12
13		13
14		14
15		15
16		16
17		17
18		18
19		19
2		2
20		20
21		21
22		22
23		23
24		24
25		25
3		3
4		4
5		5
6		6
7		7
8		8
9		9
README.md		README.md
leanpkg.toml		leanpkg.toml

Provide feedback