dmyTRUEk / aoc2024-lean4 Public

Advent of Code 2024 solutions using Lean4

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
aoc2024		aoc2024
.editorconfig		.editorconfig
.gitignore		.gitignore
Main.lean		Main.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback

Saved searches