Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/19e8c1d3dd896a0a2f43c517d029452133e2ffe4
commit
19e8c1d3dd896a0a2f43c517d029452133e2ffe4
[log]
author
Kim Morrison <kim@tqft.net>
Thu Feb 20 22:42:33 2025 +1100
committer
Kim Morrison <kim@tqft.net>
Thu Feb 20 22:42:33 2025 +1100
tree
6b722373ea9034003815f4381ca95fbbd885c94c
parent
f8e53ed20a791c3ea04014aa92d5b5a52408ccb3 [diff] 
fix merge
2 files changed
tree: 6b722373ea9034003815f4381ca95fbbd885c94c
  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).