https://github.com/jjaassoonn/advent_of_code_2023_in_lean4

https://github.com/jjaassoonn/advent_of_code_2023_in_lean4

advent-of-code lean4

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/jjaassoonn/advent_of_code_2023_in_lean4
• Owner: jjaassoonn
• Created: 2023-12-01T17:32:28.000Z (about 1 year ago)
• Default Branch: master
• Last Pushed: 2023-12-05T11:08:35.000Z (about 1 year ago)
• Last Synced: 2023-12-05T14:36:14.186Z (about 1 year ago)
• Topics: advent-of-code, lean4
• Language: Lean
• Homepage:
• Size: 49.8 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Advent of Code 2023 in Lean4

What the title said.