Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/preprocessLCtx
commit
defd398febb5613109badd3940202794474be9f2
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Tue Jan 20 16:53:22 2026 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Wed Jan 21 05:48:36 2026 -0800
tree
98485d9685683ebe8ebaa1d2708a8d0ccd83b510
parent
3e16f5332faba0844efb1524222df026095bff14 [diff] 
fix: preprocessLCtx
1 file changed
tree: 98485d9685683ebe8ebaa1d2708a8d0ccd83b510
  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.