Soon it's time for: https://adventofcode.com/2022
Is there anyone that have tried to use Coq in Advent of Code? Or any proof system related language?
Inspiring to see it's been done. Haven't tried AOC before, but people around me are getting excited about it. And it would be a nice Coq practice.
:eyes: are there Coq folks doing this?
I've never done IO in Coq, but I might give it a try if there's any days that seem particularly relevant ^^
Or one just assigns a string constant. It's just one example string and one input string per program anyway.
Last updated: Jan 29 2023 at 19:02 UTC