Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/release_notes_4.12.0
commit
be4582ee9191af4472ecf0bf6cfc5ddf63a502f7
[log]
author
Kyle Miller <kmill31415@gmail.com>
Sun Sep 29 10:16:34 2024 -0700
committer
Kyle Miller <kmill31415@gmail.com>
Sun Sep 29 10:16:34 2024 -0700
tree
0bdfac0cedad63bd4afdecd548cb8347b60ed94b
parent
fa46facd07bf8e7ae763d6cddaf493f8c58277d6 [diff] 
review
1 file changed
tree: 0bdfac0cedad63bd4afdecd548cb8347b60ed94b
  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).