/advent-of-coq-2018

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

Primary LanguageCoq

Issues