Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/117b582da5ea152693476c0e5c7948dc98358f5e
commit
117b582da5ea152693476c0e5c7948dc98358f5e
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Thu Apr 17 21:00:00 2025 -0700
committer
Leonardo de Moura <leomoura@amazon.com>
Thu Apr 17 21:00:00 2025 -0700
tree
7d03a6061b4dae7964ca467b582d7fed88d77c59
parent
14791b25b4046f36c17b297a6b8669fa563bc9ef [diff] 
test: IsCharP
1 file changed
tree: 7d03a6061b4dae7964ca467b582d7fed88d77c59
  1. .github/
  2. doc/
  3. images/
  4. nix/
  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 Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

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