Formally verifying Advent of Code using Dijkstra's program construction

Article URL: https://haripm.com/blog/aoc-day-3-without-thinking/

Comments URL: https://news.ycombinator.com/item?id=46138226

Points: 41

# Comments: 5