Advent of Code in Coq (2021) (via gnyeki) — discussion

#formalmethods