Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/joachim/use_numNested
commit
bb4a138142dfe36bc8fed333a08ce42f0011beb9
[log]
author
Joachim Breitner <mail@joachim-breitner.de>
Fri Jul 12 23:49:56 2024 +0200
committer
Joachim Breitner <mail@joachim-breitner.de>
Fri Jul 12 23:49:56 2024 +0200
tree
28c168674e4011ebe98e361fda93e263781dd95a
parent
d46e341d291cbbee82a54dd8f0d8f42d3a14cf6e [diff]
parent
891824bc51726cb99e6229be078d6757111b9b57 [diff] 
Merge branch 'master' of github.com:leanprover/lean4 into joachim/use_numNested
tree: 28c168674e4011ebe98e361fda93e263781dd95a
  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. flake.lock
  18. flake.nix
  19. lean-toolchain
  20. lean.code-workspace
  21. LICENSE
  22. LICENSES
  23. README.md
  24. 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).