Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/712f8251012733484563d7cf5e3d70f27831b9ab
commit
712f8251012733484563d7cf5e3d70f27831b9ab
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Wed Sep 09 20:27:21 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Wed Sep 09 20:27:21 2026 -0300
tree
82745c4ef503e8593e169c5a06642da9834fbbc1
parent
71f4f2df48c2b77478c216413868f7f7dfb5c8bf [diff]
parent
11636539d4150daeabe43cbc5cc5826b06f1e3ce [diff] 
Merge branch 'master' of https://github.com/leanprover/lean4 into sofia/openssl-socket-context
tree: 82745c4ef503e8593e169c5a06642da9834fbbc1
  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.