Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/reldebug
commit
07c3bc0ae3cbf85fbac4bc1ba3e2144cef046775
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Sun Apr 06 19:03:35 2025 +0200
committer
GitHub <noreply@github.com>
Sun Apr 06 19:03:35 2025 +0200
tree
45115a5025ffd927d2b1927f16627c7925390abc
parent
be46c0a9017255577c363cadc2f9428b911da285 [diff] 
untest
1 file changed
tree: 45115a5025ffd927d2b1927f16627c7925390abc
  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).