Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_use_not_value
commit
166f0187e569ee2b8c83526d3061b6a31cd60277
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Thu Dec 04 22:13:22 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Thu Dec 04 22:13:22 2025 -0800
tree
632916f7a5e3cd22c03b488d9bef6d83929b67fb
parent
0674481232586710c69a9eee78c38853c5db08d0 [diff] 
chore: test
1 file changed
tree: 632916f7a5e3cd22c03b488d9bef6d83929b67fb
  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.