▲ 3 pointsUnder the hood of Formal Verificationtomverbeure.github.ioby matt_d·7y ago·0 comments·view on hn ↗