Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/f7a1fd66b0df1617a1ab291edcf6587c186a52af
commit
f7a1fd66b0df1617a1ab291edcf6587c186a52af
[log]
author
Kim Morrison <kim@tqft.net>
Thu Oct 17 16:41:49 2024 +1100
committer
Kim Morrison <kim@tqft.net>
Mon Oct 21 12:17:36 2024 +1100
tree
a8766f7eeb26f8a332c5833d72871155f30ac644
parent
682173d7c084de77bd948b458ef9a7bf48bcb34e [diff] 
chore: simplify signature of Array.mapIdx
10 files changed
tree: a8766f7eeb26f8a332c5833d72871155f30ac644
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .ignore
  13. CMakeLists.txt
  14. CMakePresets.json
  15. CODEOWNERS
  16. CONTRIBUTING.md
  17. debug.log
  18. flake.lock
  19. flake.nix
  20. lean-toolchain
  21. lean.code-workspace
  22. LICENSE
  23. LICENSES
  24. README.md
  25. 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).