2,203 followers Jacek Sieka @jcksie @matthew_d_green Does formal verification count? https://t.co/7vRcY56LPA 01 Dec 2020 Reply Repost Favourite