Schanuel's Conjecture and the Semantics of Triton's FPSan

3 points | by c1ccccc1 12 hours ago