Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/phashset_forin
commit
e6e22a4ff66c9afd0f62a74448cc293e18c287c9
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Mon Feb 24 12:06:57 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Mon Feb 24 12:06:57 2025 -0800
tree
aeac80ae0672f60541affd83767b30bf7c3a28f4
parent
9ba19033ac668e7c5f5c4b1d96236c2bb262b8b6 [diff] 
test: forIn
1 file changed
tree: aeac80ae0672f60541affd83767b30bf7c3a28f4
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases/
  6. releases_drafts/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. .gitattributes
  12. .gitignore
  13. .gitpod.Dockerfile
  14. .gitpod.yml
  15. .ignore
  16. CMakeLists.txt
  17. CMakePresets.json
  18. CODEOWNERS
  19. CONTRIBUTING.md
  20. flake.lock
  21. flake.nix
  22. lean-toolchain
  23. lean.code-workspace
  24. LICENSE
  25. LICENSES
  26. README.md
  27. 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 (documentation source: doc/make/index.md).