Read news on program construction with our app.
Read more in the app
Formally verifying Advent of Code using Dijkstra's program construction