Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/cff19d7edf87b7d0754d9b14f8afe35c62c00173
commit
cff19d7edf87b7d0754d9b14f8afe35c62c00173
[log]
author
Kim Morrison <kim@tqft.net>
Mon Mar 24 10:25:35 2025 +1100
committer
Kim Morrison <kim@tqft.net>
Mon Mar 24 10:25:35 2025 +1100
tree
bcee07172f25483d914036e6dea89b49c77afe77
parent
600b5c5f9c0ce166bec69e3b6f15b61f88f6645c [diff] 
chore: update stage0
54 files changed
tree: bcee07172f25483d914036e6dea89b49c77afe77
  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).