Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/async-http-uri
commit
64889857b253d7547428b987c6bb463c39202da2
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Thu Mar 19 15:42:35 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Thu Mar 19 15:42:35 2026 -0300
tree
b31bcb7c2c2900ab26979c82ced78aa45cb11202
parent
33caa4e82f9cc2e63097de1b05844b7b17b83c55 [diff]
parent
34cf4575f362f98d728147c87442a82797988244 [diff] 
Merge branch 'master' of https://github.com/leanprover/lean4 into sofia/async-http-uri
tree: b31bcb7c2c2900ab26979c82ced78aa45cb11202
  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.