Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_lint_module
commit
cf89e310f052ab7fedbd034286aeb750f511afa9
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Thu Nov 13 17:36:17 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Thu Nov 13 17:36:17 2025 -0800
tree
41a703712be47345da6e2f6cf62975ab65b0a09d
parent
31faa5096472e8378e7f0144cd5924b3c82c1ccf [diff] 
fix:
1 file changed
tree: 41a703712be47345da6e2f6cf62975ab65b0a09d
  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.