Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/648239c6ecded8316ec45f4eb731bf6cb287e8ca
commit
648239c6ecded8316ec45f4eb731bf6cb287e8ca
[log]
author
Henrik Böving <hargonix@gmail.com>
Fri Aug 30 11:08:24 2024 +0200
committer
GitHub <noreply@github.com>
Fri Aug 30 09:08:24 2024 +0000
tree
4e3d8e733ea7ca501ea68794822719521de60de3
parent
a50ed835600188ae4033b1fb7f2f653c0dc9b882 [diff] 
fix: BitVec benchmark after renaming of getLsb (#5217)

fallout from https://github.com/leanprover/lean4/pull/5200
1 file changed
tree: 4e3d8e733ea7ca501ea68794822719521de60de3
  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).