RT @cryptocatapp: Cryptocat has been using a formally verified messaging protocol implementation for the past 10 months. More to be present…

7:49pm February 3rd 2017 via Twitter Web Client