Automated proofs about floating-point numbers using Z3 Theorem Prover in Pythongithub.com/xennygrimmato2 pointsxenny8 years ago