Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/kmill_declevel
commit
1839eeee474f467f0904930774f6b4406c6a64e0
[log]
author
Kyle Miller <kmill31415@gmail.com>
Fri Apr 10 07:33:41 2026 -0700
committer
Kyle Miller <kmill31415@gmail.com>
Fri Apr 10 07:33:41 2026 -0700
tree
690ec443f2fc863321680e3fc173c9711ee4a6fa
parent
cfc597b0a75c752ff55298814e81b8e266754df5 [diff] 
remove normalize
1 file changed
tree: 690ec443f2fc863321680e3fc173c9711ee4a6fa
  1. .claude/
  2. .github/
  3. .vscode/
  4. doc/
  5. images/
  6. releases_drafts/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  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.