GitHub - alcides/AoC2021Lean4: My Solutions using Lean 4 for the 2021 edition of the Advent of Code

alcides / AoC2021Lean4 Public

My Solutions using Lean 4 for the 2021 edition of the Advent of Code

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
01		01
02		02
03		03
04		04
05		05
06		06
07		07
08		08
09		09
10		10
11		11
12		12
13		13
14		14
15		15
16		16
17		17
18		18
19		19
20		20
21		21
22		22
notes.txt		notes.txt

About

My Solutions using Lean 4 for the 2021 edition of the Advent of Code

lean4

No releases published