H haripm.com Formally verifying Advent of Code using Dijkstra's program construction 57 points seafoamteal 11 months ago 8 comments
