4 ms·Automated reasoning often makes systems more efficient and easier to maintain1 points by tim_sw 2y ago