GitHub - dupuisf/Lean4_AoC2022: My solutions to Advent of Code 2022 in Lean 4

dupuisf / Lean4_AoC2022 Public

My solutions to Advent of Code 2022 in Lean 4

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
Aoc2022		Aoc2022
Aoc2022.lean		Aoc2022.lean
Main.lean		Main.lean
input_01		input_01
input_01_test		input_01_test
input_02		input_02
input_02_test		input_02_test
input_03		input_03
input_03_test		input_03_test
input_04		input_04
input_04_test		input_04_test
input_05		input_05
input_06		input_06
input_06_test		input_06_test
input_07		input_07
input_07_test		input_07_test
input_08		input_08
input_08_test		input_08_test
input_09		input_09
input_09_test		input_09_test
input_10		input_10
input_10_test		input_10_test
input_11_test		input_11_test
input_12		input_12
input_12_test		input_12_test
input_13		input_13
input_13_test		input_13_test
lakefile.lean		lakefile.lean