Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/a7aea9a12d8f22bcca2faf497c8b3e1d0e2d54c2
commit
a7aea9a12d8f22bcca2faf497c8b3e1d0e2d54c2
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Wed Mar 04 09:50:15 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Wed Mar 04 09:50:30 2026 -0300
tree
acbc83e7ef9c7330ba2ec051e8dfb63a4254fc85
parent
af12f7e9be959dc3dc462f70e8321648a787a259 [diff] 
style: format
1 file changed
tree: acbc83e7ef9c7330ba2ec051e8dfb63a4254fc85
  1. .claude/
  2. .github/
  3. doc/
  4. images/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitpod.Dockerfile
  13. .gitpod.yml
  14. .ignore
  15. CMakeLists.txt
  16. CMakePresets.json
  17. CODEOWNERS
  18. CONTRIBUTING.md
  19. flake.lock
  20. flake.nix
  21. lean-toolchain
  22. lean.code-workspace
  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.