Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/async-http-client-connection
commit
2c49e3751fae2faab9ad20692ff0b05557e0c42e
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Fri Oct 30 01:46:55 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Fri Oct 30 01:46:55 2026 -0300
tree
1c9c80280663a08ce52535a3923a197bfd060dd5
parent
dc5da1ca399b6dc80e39b91ebc42500acaab7c89 [diff] 
fix: method
1 file changed
tree: 1c9c80280663a08ce52535a3923a197bfd060dd5
  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. .tombi.toml
  17. CMakeLists.txt
  18. CMakePresets.json
  19. CODEOWNERS
  20. CONTRIBUTING.md
  21. flake.lock
  22. flake.nix
  23. lean-toolchain
  24. LICENSE
  25. LICENSES
  26. README.md
  27. 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.