Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/0c2499c188fe110e7e5fc5a40d0d7fbcbc5e8520
commit
0c2499c188fe110e7e5fc5a40d0d7fbcbc5e8520
[log]
author
Kim Morrison <kim@tqft.net>
Tue Sep 10 15:07:12 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Tue Sep 10 15:07:12 2024 +1000
tree
8b27c3cd4a964840f4f73b917b7b12f8ea26ba31
parent
ae07f62b7046b588c5b548522aa69e717d5613d9 [diff] 
chore: update stage0
371 files changed
tree: 8b27c3cd4a964840f4f73b917b7b12f8ea26ba31
  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).