Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/het-snaps-cmdline
commit
8c2d13fcbd2e496c9e6aa3135bb9f907da28b236
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Mon Aug 05 17:33:52 2024 +0200
committer
Sebastian Ullrich <sebasti@nullri.ch>
Mon Aug 05 17:33:52 2024 +0200
tree
3c8b4fab09a0ddab69bfa601627106fae0d45ead
parent
cfa4752c4ec89231067f1d701c38bb5d9d1a7ff3 [diff]
parent
d6cb2432c6cfb847cdb1921fdbb98bc698835ec4 [diff] 
Merge branch 'master' of https://github.com/leanprover/lean4 into het-snaps-cmdline
tree: 3c8b4fab09a0ddab69bfa601627106fae0d45ead
  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).