Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/joachim/grind-docstring
commit
433a123ce34a6976401166ae7bf972c18537a945
[log]
author
Joachim Breitner <mail@joachim-breitner.de>
Sat Dec 13 06:53:21 2025 +0000
committer
Joachim Breitner <mail@joachim-breitner.de>
Sat Dec 13 06:53:21 2025 +0000
tree
ba4ee55592abf97cb08090077e8480af94b55a7b
parent
a5ccdf5f80396b6ae4611bf35a62a6372468dd5e [diff]
parent
902226642f27c6dc1aba645c5d2f06df574abf9a [diff] 
Merge branch 'master' of https://github.com/leanprover/lean4 into joachim/grind-docstring
tree: ba4ee55592abf97cb08090077e8480af94b55a7b
  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.