5 ms·
That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.
by deterministic 2mo ago
That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.
- eru 2mo agoFortran used to be the only programming language (and even cutting edge by default). People went off and created new ones anyway.
- deterministic 1mo agoAnd maybe somebody will create something better than LEAN. That has nothing to do with the original argument.