Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_lint
commit
03a3130fbf0decb241f9f604b2ed0694f3ed12a8
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Wed Nov 12 16:25:44 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Wed Nov 12 16:25:44 2025 -0800
tree
41af3b863fbf25d83ba50a955e88c2f8f75cf22f
parent
b80d29d3ee771fcc501c408afa4a332002f0f03a [diff] 
chore: remove
1 file changed
tree: 41af3b863fbf25d83ba50a955e88c2f8f75cf22f
  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.