Automated proofs about floating-point numbers using Z3 Theorem Prover in Python #1 Post by xenny » Thu, Feb 15, 2018, 7:52 PM UTC Automated proofs about floating-point numbers using Z3 Theorem Prover in Pythongithub.com