3 ms·
> Even low-IQ humans can in principle learn how to use Lean to represent a multivariate system. That's an article of faith. In principle, elephants can fly at
by exe34 1y ago
> Even low-IQ humans can in principle learn how to use Lean to represent a multivariate system.
That's an article of faith. In principle, elephants can fly at least once.