4 ms·
And maybe somebody will create something better than LEAN. That has nothing to do with the original argument.
by deterministic 2mo ago
And maybe somebody will create something better than LEAN. That has nothing to do with the original argument.