Comment on My first verified imperative programComments−bux931yIt looks suspiciously like verifying imperative code by writing declarative code that does the same thing.
Comments
It looks suspiciously like verifying imperative code by writing declarative code that does the same thing.