/advent-of-lean-4

Advent of Code 2020 solutions in Lean 4

Primary LanguageLean

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.