Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/apply-edit
commit
face03919d20b89e62f93b71728db3c4fb23011b
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Thu Nov 17 19:29:56 2022 +0100
committer
GitHub <noreply@github.com>
Thu Nov 17 19:29:56 2022 +0100
tree
6a31150d69f3f30945716b409c1db4b71592aea5
parent
005190b27a9f23830c18ac93f9d9a8318d772126 [diff] 
Update src/Lean/Data/Lsp/Basic.lean

Co-authored-by: Wojciech Nawrocki <wjnawrocki+gh@protonmail.com>
1 file changed
tree: 6a31150d69f3f30945716b409c1db4b71592aea5
  1. .github/
  2. .vscode/
  3. doc/
  4. images/
  5. nix/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitmodules
  13. .ignore
  14. CMakeLists.txt
  15. CONTRIBUTING.md
  16. default.nix
  17. flake.lock
  18. flake.nix
  19. LICENSE
  20. LICENSES
  21. README.md
  22. RELEASES.md
  23. shell.nix
README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.