Early today we launched the new Lean reference manual, our core documentation intended as a comprehensive, precise description of Lean! #leanlang #leanprover
Check out the manual: https://lean-lang.org/doc/reference/latest/
Read more about the release: https://lean-lang.org/blog/2024-12-16-introducing-the-lean-language-reference/
lean-lang.orgThe Lean Language Reference
@leanprover @raito Is the Lean language related to #NixOS
@markstos @leanprover @raito Not particularly - the Nix configuration language is a pure functional language, as is Lean, but that's about where the similarities stop. They have some common intellectual heritage.