Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/async-http-stream-close-error
commit
1b5dbe570a9204bae4f282692003d41dfe3de4f9
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Thu Jul 23 17:52:25 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Thu Jul 23 17:52:25 2026 -0300
tree
c26619671a30d8416930183ce85904a0c42f607a
parent
df37e11e260b790b097314ba3b4a1f1a64f81d70 [diff]
parent
a347c8590718beb78dbde3393887772cbc50e463 [diff] 
Merge branch 'master' of https://github.com/leanprover/lean4 into sofia/async-http-stream-close-error
tree: c26619671a30d8416930183ce85904a0c42f607a
  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.