Formally verifying Advent of Code using Dijkstra's program construction
10 points
2 hours ago
| 0 comments
| haripm.com
| HN
No one has commented on this post.