Archived tweet #5565 from the @leastfixedpoint Twitter Archive

RT @craigstuntz: Talk to your development teams about proof assistants. Because if you don't verify your protocol implementations, someone …