Nov 30, 2015 · Tweet · November 2015 “what would a formally verified blog engine look like?”—me,... “what would a formally verified blog engine look like?”—me, this morning, entirely alone ➛