Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/doc_transparency
commit
2ceab2179f8213670c1012b6816d172559e43907
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Wed Feb 18 09:20:42 2026 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Wed Feb 18 09:20:42 2026 -0800
tree
cfc2debc9147e02e28de881af296ae85eae81e96
parent
1a5389795f0337bdc632f7770ee109ad7d7b6c16 [diff] 
doc: remove transparency.md (design still in flux)

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 file changed
tree: cfc2debc9147e02e28de881af296ae85eae81e96
  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.