Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose_names
commit
0dab5e4517ad35bab477836f2aa2ac90ffaad8ed
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Mon Feb 03 16:17:58 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Mon Feb 03 16:17:58 2025 -0800
tree
e099304b07f3236269a527dbc4d86b0d51fbed56
parent
18388f156de835fcb7665ec76b48ce94db271e10 [diff] 
test: `exposeNames`
1 file changed
tree: e099304b07f3236269a527dbc4d86b0d51fbed56
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases/
  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. lean.code-workspace
  24. LICENSE
  25. LICENSES
  26. README.md
  27. RELEASES.md
README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).