← Back to context Comment by croemer 1 year ago That answers the Lean part, FRO stands for Focused Research Organization 1 comment croemer Reply swat535 1 year 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.
swat535 1 year 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.
That doesn't say much.. Research on what? It looks like Lean is a programming language but everything else is pretty abstract to me.