Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_import_opt
commit
0cacc059bbdc0bdcbed6b2b2c75c6ecdd416e7e3
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Sun Sep 21 18:16:35 2025 -0700
committer
Leonardo de Moura <leomoura@amazon.com>
Sun Sep 21 18:16:35 2025 -0700
tree
69597054d93e717c27cc78467a10e6c4e9e556f3
parent
27d338b683f6f3e0fd5f2cebee4c718a43102c82 [diff] 
chore: imports
17 files changed
tree: 69597054d93e717c27cc78467a10e6c4e9e556f3
  1. .github/
  2. doc/
  3. images/
  4. releases_drafts/
  5. script/
  6. src/
  7. stage0/
  8. tests/
  9. .gitattributes
  10. .gitignore
  11. .gitpod.Dockerfile
  12. .gitpod.yml
  13. .ignore
  14. CMakeLists.txt
  15. CMakePresets.json
  16. CODEOWNERS
  17. CONTRIBUTING.md
  18. flake.lock
  19. flake.nix
  20. lean-toolchain
  21. lean.code-workspace
  22. LICENSE
  23. LICENSES
  24. README.md
  25. 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.