3 ms·

https://lean-lang.org/lean4/doc/ https://lean-lang.org/lean4/doc/

• croemer 2y ago
  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.
• jemmyw 2y ago
  There are a lot of broken links in the docs. Like most of the feature links.
  • kmill 2y ago
    There's a completely new language reference in the process of being written: https://lean-lang.org/doc/reference/latest/ https://lean-lang.org/doc/reference/latest/ (by David Thrane Christiansen, co-author of The Little Typer, and Lean FRO member) Some links here seem to be broken at the moment — and David's currently on vacation so they likely won't be fixed until January — but if you see for example https://lean-lang.org/basic-types/strings/ https://lean-lang.org/basic-types/strings/ it's supposed to be https://lean-lang.org/doc/reference/latest/basic-types/strings/ https://lean-lang.org/doc/reference/latest/basic-types/strin...