Your sketch could be correct, and it'll be a matter of writing it down. Or it could be wrong and you better find out before the bad guys do.
Any useful program could be proven correct. You write it one way rather than another because you have a sketch of a proof in your mind.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yes, but often the kind of proofs people have in mind involves dependent types and temporal logic that no p.l. that I know provides
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!