I made this for an upcoming article on what formal methods can or cannot do:https://imgflip.com/i/2dcnu8
-
-
The Formal Methods argument, revised and improved for all you code monkeys and enraptured nerds.pic.twitter.com/BGgP4h1YBD
Show this threadThanks. 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!