Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_exists
commit
89637c76a90878ea0dc6846747e102b04f5bbe2e
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Fri Jul 04 18:23:14 2025 -0700
committer
Leonardo de Moura <leomoura@amazon.com>
Fri Jul 04 18:23:14 2025 -0700
tree
ec18963a4ee158f825265c7bc5ab3ff3ccc9706b
parent
67e00487847e4356bc9469acf099c2fe5119e404 [diff] 
chore: update
1 file changed
tree: ec18963a4ee158f825265c7bc5ab3ff3ccc9706b
  1. .github/
  2. doc/
  3. images/
  4. nix/
  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 Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.