rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 3,336

  1. RT @bascule: @galois FYI, I'm potentially interested in trying to formally verify an OSS project using Cryptol/SAW: github.com/miscreant/miscreant/issues/108
    On twitter.com Twitter logo Retweet