undefined | Better HN

0 pointscroemer1y ago0 comments

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

0 comments

That doesn't say much.. Research on what? It looks like Lean is a programming language but everything else is pretty abstract to me.

j / k navigate · click thread line to collapse

0 pointscroemer1y ago0 comments

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

That doesn't say much.. Research on what? It looks like Lean is a programming language but everything else is pretty abstract to me.

j / k navigate · click thread line to collapse