Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/issue_3373
commit
b3c427c3d979dfbac723f108b071efcbf8bca7cc
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Wed Jun 05 17:36:03 2024 -0700
committer
Leonardo de Moura <leomoura@amazon.com>
Wed Jun 05 17:36:03 2024 -0700
tree
7761e2c4b52b170a53799adb1a6ff7bee7e243a0
parent
c0b73037982341bc939755375469dad3f777dbd7 [diff] 
chore: duplicate
1 file changed
tree: 7761e2c4b52b170a53799adb1a6ff7bee7e243a0
  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).