Advent of Code 2018, in Coq

Article URL: https://github.com/Lysxia/advent-of-coq-2018

Comments URL: https://news.ycombinator.com/item?id=19194497

Points: 119

# Comments: 24

from Hacker News: Front Page http://bit.ly/2X8FhN8
via