1 day ago · software

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: 7 Comments: 0...