stilkov’s avatarstilkov’s Twitter Archive—№ 34,657

  1. RT MarcJBrooker: Hillel hillelogram has been doing great work for years making TLA+ (and formal methods in general) more accessible, easi…
    On twitter.com Twitter logo Retweet