Proofs regarding properties of floating-point numbers using Z3 Solver written in Python.
xennygrimmato / z3-floating-point-proofs Goto Github PK
View Code? Open in Web Editor NEWAutomated Proofs about floating-point numbers using Z3 Theorem Prover
License: MIT License