Formally verifying Advent of Code using Dijkstra's program constructionharipm.com·57 pts·seafoamteal·8