Formally verifying Advent of Code using Dijkstra's program construction

55 points by seafoamteal | 8 comments
Loading...
Loading...
Loading...