Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/555462c04c1fe50610378d5a0a49f71861bcb8c3
commit
555462c04c1fe50610378d5a0a49f71861bcb8c3
[log]
author
Kim Morrison <kim@tqft.net>
Mon Nov 11 23:36:09 2024 +1100
committer
Kim Morrison <kim@tqft.net>
Mon Nov 11 23:36:09 2024 +1100
tree
ddff1752bd247184d178c14cea035c55fffcd884
parent
7d59749248fcf7ab5b139246988b5143764236aa [diff]
parent
5c611f78149d9e67f3bff1e3697fb1b504657998 [diff] 
Merge remote-tracking branch 'origin/master' into change_array_get
tree: ddff1752bd247184d178c14cea035c55fffcd884
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .ignore
  13. CMakeLists.txt
  14. CMakePresets.json
  15. CODEOWNERS
  16. CONTRIBUTING.md
  17. debug.log
  18. flake.lock
  19. flake.nix
  20. lean-toolchain
  21. lean.code-workspace
  22. LICENSE
  23. LICENSES
  24. README.md
  25. 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).