Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/0159c20f3a015c50ddb7b3cc755be5ed4c255fc6
commit
0159c20f3a015c50ddb7b3cc755be5ed4c255fc6
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Tue Oct 06 10:04:23 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Tue Oct 06 10:04:23 2026 -0300
tree
319082c4d3344f8ba95b99fe40a49ffab1d2a451
parent
14c097f7903cf1d80d20054e82586e7b50506310 [diff] 
fix: comments
2 files changed
tree: 319082c4d3344f8ba95b99fe40a49ffab1d2a451
  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.