3 ms·The looming problem of slow and brittle proofs in SMT verification4 points by gopiandcode 1y ago