3 ms·

That answers the Lean part, FRO stands for Focused Research Organization

• 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.