Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/libuv-foreach
commit
4bb38f98918f0c11a61bcafc209e598039427920
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Thu Sep 10 17:32:16 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Thu Sep 10 17:32:16 2026 -0300
tree
3555e8a1d9436258a9ef607a25896920421818a3
parent
14161f8a7f8ca3f834a4e0fc761ef9d124fc7dc3 [diff]
parent
c33075d1f6a6dbae0ae43ff01e2b542ab1d31e4b [diff] 
Merge branch 'sofia/libuv-foreach' of https://github.com/leanprover/lean4 into sofia/libuv-foreach
tree: 3555e8a1d9436258a9ef607a25896920421818a3
  1. .claude/
  2. .github/
  3. .vscode/
  4. doc/
  5. images/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. AGENTS.md ⇨ .claude/CLAUDE.md
  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.