6 ms·
Bug report: I tried 6.999999̅ and got false. So there's some nonstandard model of the reals being leveraged here.
by evanb 6mo ago
Bug report: I tried 6.999999̅ and got false. So there's some nonstandard model of the reals being leveraged here.