jakeswenson / advent2022

My Advent of code solutions for 2022 (in lean 4!)

Advent of Code 2022

In Lean.

Building

Install elan: https://github.com/leanprover/elan

curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh

and use lake build to build.

M1 Toolchain

if on an M1 use the m1 nightly

elan toolchain install leanprover/lean4:nightly
elan default leanprover/lean4:nightly

Running

You can run the exe with lake exe advent