3 ms·Automated proofs about floating-point numbers using Z3 Theorem Prover in Python2 points by xenny 9y ago