https://github.com/janwosnitza/advent-of-code-2022

My advent of code 2022 solutions in Lean.
https://github.com/janwosnitza/advent-of-code-2022

Last synced: 3 days ago
JSON representation

My advent of code 2022 solutions in Lean.

• Host: GitHub
• URL: https://github.com/janwosnitza/advent-of-code-2022
• Owner: JanWosnitza
• License: mit
• Created: 2022-12-10T18:28:57.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2023-03-28T20:56:47.000Z (over 1 year ago)
• Last Synced: 2023-06-16T08:29:34.709Z (over 1 year ago)
• Language: Lean
• Size: 62.5 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project