Super HN
New
Show
Formally Verifying Advent of Code Using Dijkstra's Program Construction
(haripm.com)
3 points by seafoamteal 1 hour ago