Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/async-http-h1
commit
8909a82635059267c2cf995a2731a251c738990a
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Thu Apr 16 14:24:23 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Thu Apr 16 14:24:23 2026 -0300
tree
b57281ff1bdd517d40807ff78bbbccd74b4dea08
parent
2235a82a667b6af929c196729c3446d3e882f1d7 [diff]
parent
b99356ebcfcd43ab9945198301b48bd7849525e6 [diff] 
Merge branch 'master' into sofia/async-http-h1
tree: b57281ff1bdd517d40807ff78bbbccd74b4dea08
  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.