Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/e8bb46b4fc3bcf1b9062164786550cd885c66e8b
commit
e8bb46b4fc3bcf1b9062164786550cd885c66e8b
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Tue Jul 21 11:31:53 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Tue Jul 21 11:31:53 2026 -0300
tree
ed76431b964d495441363ec769cff743db3f5d8a
parent
8267b4bc3d2ab9182fd20f1d5eb38952758a28be [diff]
parent
0e8a9ebad99e0a41dbd7655f5a4e9993d4dc07f1 [diff] 
Merge branch 'master' of https://github.com/leanprover/lean4 into sofia/fix-selectable-one
tree: ed76431b964d495441363ec769cff743db3f5d8a
  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.