Formally verifying Advent of Code using Dijkstra's program construction
Published: (December 3, 2025 at 01:39 PM EST)
1 min read
Source: Hacker News
Source: Hacker News
Article Details
- Article URL: https://haripm.com/blog/aoc-day-3-without-thinking/
- Comments URL: https://news.ycombinator.com/item?id=46138226
- Points: 7