Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/begin_dev_cycle_v4.10.0
commit
8c58d232514ed1d5591cae6ee2037f8183bcb9f9
[log]
author
Kim Morrison <kim@tqft.net>
Thu Jun 06 21:42:20 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Thu Jun 06 21:42:20 2024 +1000
tree
b7fdb4649313c7ea1020f5df29be74295a8f6495
parent
287d46e1f6a7a6136c7996367a9b203d93797d00 [diff] 
chore: begin development cycle for v4.10.0
2 files changed
tree: b7fdb4649313c7ea1020f5df29be74295a8f6495
  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. flake.lock
  18. flake.nix
  19. lean-toolchain
  20. lean.code-workspace
  21. LICENSE
  22. LICENSES
  23. README.md
  24. 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).