Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/defEq_issue
commit
b3b669cdd1cf698399b545d9ff044c9778b9e4ef
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Tue Mar 03 09:13:44 2026 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Tue Mar 03 09:13:44 2026 -0800
tree
0b0e4c8f6a2bee8b331d3e05cac3a1b70863e7f4
parent
1f04bf4fd13b62962f054513c2560ba66ae43366 [diff] 
fix: `whnf`
1 file changed
tree: 0b0e4c8f6a2bee8b331d3e05cac3a1b70863e7f4
  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.