Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/fix_5315
commit
a807a2f2958caef784ddc5d50e280377fb9e5c53
[log]
author
Kim Morrison <kim@tqft.net>
Wed Sep 18 19:27:59 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Wed Sep 18 19:27:59 2024 +1000
tree
41563a9ca31c54143e54aa926cbf93ca4165b581
parent
3872027d928cb88034fce7dd86117a10fdf74de2 [diff] 
chore: fixes spurious omega error in #5315
2 files changed
tree: 41563a9ca31c54143e54aa926cbf93ca4165b581
  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).