4 ms·
That doesn't say much.. Research on what? It looks like Lean is a programming language but everything else is pretty abstract to me.
by swat535 2y ago
That doesn't say much.. Research on what? It looks like Lean is a programming language but everything else is pretty abstract to me.