Day 1 Advent of Code solution in Lean
https://github.com/mdr/aoc-2024/blob/main/Aoc2024/Day01/Solve.lean

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service