advent-of-coq-2018
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
139 stars
7 watching
8 forks
Language: Coq
last commit: over 5 years ago advent-of-coq-2018 Advent of Code 2018, in Coq! (https://adventofcode.com/2018)