Formally verifying Advent of Code using Dijkstra's program construction

(haripm.com) by seafoamteal | Dec 3, 2025 | 8 comments on HN