← Back to context Comment by threeseed 1 year ago https://lean-lang.org/lean4/doc/ 4 comments threeseed Reply jemmyw 1 year ago There are a lot of broken links in the docs. Like most of the feature links. kmill 1 year ago There's a completely new language reference in the process of being written: 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/ it's supposed to be https://lean-lang.org/doc/reference/latest/basic-types/strin... croemer 1 year ago That answers the Lean part, FRO stands for Focused Research Organization 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.
jemmyw 1 year ago There are a lot of broken links in the docs. Like most of the feature links. kmill 1 year ago There's a completely new language reference in the process of being written: 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/ it's supposed to be https://lean-lang.org/doc/reference/latest/basic-types/strin...
kmill 1 year ago There's a completely new language reference in the process of being written: 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/ it's supposed to be https://lean-lang.org/doc/reference/latest/basic-types/strin...
croemer 1 year ago That answers the Lean part, FRO stands for Focused Research Organization 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.
There are a lot of broken links in the docs. Like most of the feature links.
There's a completely new language reference in the process of being written: 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/ it's supposed to be https://lean-lang.org/doc/reference/latest/basic-types/strin...
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.