Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/43d7e479333b25a6fd471b6f2327611b102a16d1
commit
43d7e479333b25a6fd471b6f2327611b102a16d1
[log]
author
Kim Morrison <kim@tqft.net>
Wed Sep 25 16:33:20 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Wed Sep 25 16:33:20 2024 +1000
tree
610a0934b4a736f039e8689759c4e528f4ab4de6
parent
915bc7d225ee5baac0de768e216206a1064579d8 [diff] 
deprecations
2 files changed
tree: 610a0934b4a736f039e8689759c4e528f4ab4de6
  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).