3 ms·
Doesn't the Android calculator use constructive reals? https://cacm.acm.org/practice/small-data-computing/ https://cacm.acm.org/practice/small-data-computing/
by kccqzy 2y ago
Doesn't the Android calculator use constructive reals? https://cacm.acm.org/practice/small-data-computing/ https://cacm.acm.org/practice/small-data-computing/