Automated proofs about floating-point numbers using Z3 Theorem Prover in Python (github.com) 2 points by xenny 8y ago ↗ HN
0 comments
[ 3.8 ms ] story [ 11.2 ms ] threadNo comments yet.