Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/lambda_telescope_bench
commit
0dbcff051a2bd7ced845550fe122c5e2de411203
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Wed Jan 07 16:11:36 2026 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Wed Jan 07 16:11:36 2026 -0800
tree
ece41d43dbeb18b4939a45346f59c7e19cecedf5
parent
5e6b1db8294c77591eb40113420b615246e3039a [diff] 
chore:
1 file changed
tree: ece41d43dbeb18b4939a45346f59c7e19cecedf5
  1. .claude/
  2. .github/
  3. doc/
  4. images/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitpod.Dockerfile
  13. .gitpod.yml
  14. .ignore
  15. CMakeLists.txt
  16. CMakePresets.json
  17. CODEOWNERS
  18. CONTRIBUTING.md
  19. flake.lock
  20. flake.nix
  21. lean-toolchain
  22. lean.code-workspace
  23. LICENSE
  24. LICENSES
  25. README.md
  26. RELEASES.md
README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.