GitHub topics: aoc-2024-in-lean
dmyTRUEk/aoc2024-lean4
Advent of Code 2024 solutions using Lean4
Language: Python - Size: 307 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
Advent of Code 2024 solutions using Lean4
Language: Python - Size: 307 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0