Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/fix_3029
commit
c12204144c034903a67d5e0e6e0805b577ad451e
[log]
author
Mario Carneiro <di.gama@gmail.com>
Tue Apr 23 23:33:50 2024 -0400
committer
Mario Carneiro <di.gama@gmail.com>
Tue Apr 23 23:33:50 2024 -0400
tree
d95986125cee0b19e95b0625a8bddca71989e3a3
parent
3fa93531e451c561f13b9a5af22ca1815ec50383 [diff] 
double lookup
1 file changed
tree: d95986125cee0b19e95b0625a8bddca71989e3a3
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. script/
  6. src/
  7. stage0/
  8. tests/
  9. .gitattributes
  10. .gitignore
  11. .ignore
  12. CMakeLists.txt
  13. CODEOWNERS
  14. CONTRIBUTING.md
  15. flake.lock
  16. flake.nix
  17. lean-toolchain
  18. lean.code-workspace
  19. LICENSE
  20. LICENSES
  21. README.md
  22. 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.