Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/hbv/fix_rebootstrap_cache
commit
7b94ad1b0e48208653a0b464fe030334bdedb0b5
[log]
author
Henrik Böving <hargonix@gmail.com>
Thu Mar 26 20:37:11 2026 +0000
committer
Henrik Böving <hargonix@gmail.com>
Thu Mar 26 20:37:47 2026 +0000
tree
cea2c11adbcaa2fc63a21e67bb8befb1c6a68095
parent
e2dbc06029c3345592489591491cf6b01e6f48b1 [diff] 
empty!
1 file changed
tree: cea2c11adbcaa2fc63a21e67bb8befb1c6a68095
  1. .claude/
  2. .github/
  3. .vscode/
  4. doc/
  5. images/
  6. releases_drafts/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. .gitattributes
  12. .gitignore
  13. .gitpod.Dockerfile
  14. .gitpod.yml
  15. .ignore
  16. CMakeLists.txt
  17. CMakePresets.json
  18. CODEOWNERS
  19. CONTRIBUTING.md
  20. flake.lock
  21. flake.nix
  22. lean-toolchain
  23. LICENSE
  24. LICENSES
  25. README.md
  26. RELEASES.md
README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.