Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/63c0ea0e2e2ca396301a5751f16bfe7ac48058ce
commit
63c0ea0e2e2ca396301a5751f16bfe7ac48058ce
[log]
author
Kim Morrison <kim@tqft.net>
Tue Sep 10 17:59:00 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Tue Sep 10 17:59:00 2024 +1000
tree
950a37b6deddee1e166c50b2c9979fd3ee834e12
parent
4616617021d72ea6fda50d1c54cef65e7d2b8d1e [diff] 
chore: update stage0
12 files changed
tree: 950a37b6deddee1e166c50b2c9979fd3ee834e12
  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).