Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/length_toList
commit
02728658f02621fe29a50f9cfe2c14f0fa20224f
[log]
author
Kim Morrison <kim@tqft.net>
Mon Sep 30 10:27:54 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Mon Sep 30 13:48:51 2024 +1000
tree
dc8f01acc4181cbb3c4dce3d888e19373db1423a
parent
20e698884d69c95b939fa14f3eb3f3655bc3f695 [diff] 
toList_reverse
1 file changed
tree: dc8f01acc4181cbb3c4dce3d888e19373db1423a
  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).