rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 9,140

  1. RT @jduck: TIL github.com/model-checking/kani
    On twitter.com Twitter logo Retweet