Nice Post! I think tools that enable formal reasoning about code are incredibly valuable. Just going through the process the author was able to find and fix t

Nice Post! I think tools that enable formal reasoning about code are incredibly valuable. Just going through the process the author was able to find and fix three bugs. Could you imagine a pipeline where people submitted code that had already been proven to be correct? Sounds amazing!