GitHub - Lysxia/advent-of-coq-2018: Advent of Code 2018, in Coq! ( CRANK Advent of Code 2018, in Coq! ( - Lysxia/advent-of-coq-2018 github.com 5 years ago Related Topics: GitHub arrow_back open_in_new Open page https://github.com/Lysxia/advent-of-coq-2018