Hacker Next
Formally verifying Advent of Code using Dijkstra's program constructionharipm.com
56 points by seafoamteal 3 days ago | 8 comments