In Lean.
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.
if on an M1 use the m1 nightly
elan toolchain install leanprover/lean4:nightly
elan default leanprover/lean4:nightly
You can run the exe with lake exe advent