Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/hashmap_insert_simps
commit
ea1c83ef16c0c21c6ca622ca943435bcf18871db
[log]
author
Kim Morrison <kim@tqft.net>
Wed Oct 02 16:06:41 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Wed Oct 02 16:06:41 2024 +1000
tree
921f3c37b242340b333450b9387551fd631547cb
parent
cede245fad3340d65f87efc3658e3c5540f74ef7 [diff]
parent
55f596888344471b106292f0348e5fa676609aae [diff] 
Merge branch 'raw_instances' into hashmap_insert_simps
tree: 921f3c37b242340b333450b9387551fd631547cb
  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).