Lysxia/advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

149 best points · 43 comments · 1 Hacker News post · 141 GitHub stars · View on GitHub

Hacker News discussions

• Advent of Code 2018, in Coq (149 points, 43 comments, by szemet, 2019-02-18)