Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_cleanup2
commit
7c7c4af416c7cf83ddb7c0d6612dce81e4f95f20
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Mon Dec 22 15:41:10 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Mon Dec 22 15:41:10 2025 -0800
tree
e09d09307d48e4e16d177d093697e8c450c3ce94
parent
0dcd1c08dc93b52fa8e4177dcc56a61f1ad70234 [diff] 
chore: fix
1 file changed
tree: e09d09307d48e4e16d177d093697e8c450c3ce94
  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.