Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/grind_cooper5
commit
727ea283d37ba74b8296ae2c4130e9ff4bfdf5f7
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Tue Mar 04 19:04:56 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Tue Mar 04 19:05:49 2025 -0800
tree
0b0018a4b9e646429b0fd4238b2703db41778fac
parent
045f8c791af5c60923efad106158841e6900f976 [diff] 
test: cooper
1 file changed
tree: 0b0018a4b9e646429b0fd4238b2703db41778fac
  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).