lukaskollmer / advent-of-code Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
.merlin		.merlin
license		license
readme.md		readme.md

Repository files navigation

Advent of Code

Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL

License

MIT @ Lukas Kollmer

About

Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL

advent-of-code ocaml isabelle isabelle-hol

Report repository

Releases

No releases published

Packages

No packages published

Languages