Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
Why do you think that https://github.com/Lysxia/advent-of-coq-2021 is a good alternative to advent-of-coq-2018
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
Why do you think that https://github.com/Lysxia/advent-of-coq-2021 is a good alternative to advent-of-coq-2018