Screenshot pending…Formally verifying Advent of Code using Dijkstra's program construction(haripm.com)41 points by seafoamteal 10 months ago | 5 comments