Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/joachim/kernel-comments2
commit
54f7fb91f5812fd494dc75145409f2ce1b603fd1
[log]
author
Joachim Breitner <mail@joachim-breitner.de>
Thu Nov 21 11:57:36 2024 +0100
committer
Joachim Breitner <mail@joachim-breitner.de>
Thu Nov 21 11:57:36 2024 +0100
tree
efff507561e1f7ecc0eb544e74b0c0d9f5947afd
parent
4de32d2bcd81162effa3403893fa39db24a86316 [diff]
parent
9cf83706e743debb47f3b1a48e1b92210c1c0720 [diff] 
Merge branch 'master' of github.com:leanprover/lean4 into joachim/kernel-comments2
tree: efff507561e1f7ecc0eb544e74b0c0d9f5947afd
  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).