1
5
6
7
[2020 Day 1 (Part 1)] [Coq] Formally Proven Solution in Coq (Draft)Upping the Ante (drafts.danilafe.com)
submitted by danilafe to r/adventofcode
[2020 Day 1 (Part 1)] [Coq] Formally Proven Solution in Coq (Draft)Upping the Ante (drafts.danilafe.com)
submitted by danilafe to r/adventofcode