Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/0e77743fafce862dc1e469d21f54e65103535aa0
commit
0e77743fafce862dc1e469d21f54e65103535aa0
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Wed Feb 12 14:44:07 2025 -0800
committer
Leonardo de Moura <leomoura@amazon.com>
Wed Feb 12 14:44:07 2025 -0800
tree
35fdc09593405324beec29ffa5c1a0323abbfa4c
parent
c803f65283b8d64e6b8b2765418e9567e4b659ff [diff] 
chore: refactor
5 files changed
tree: 35fdc09593405324beec29ffa5c1a0323abbfa4c
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases/
  6. releases_drafts/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. .gitattributes
  12. .gitignore
  13. .gitpod.Dockerfile
  14. .gitpod.yml
  15. .ignore
  16. CMakeLists.txt
  17. CMakePresets.json
  18. CODEOWNERS
  19. CONTRIBUTING.md
  20. flake.lock
  21. flake.nix
  22. lean-toolchain
  23. lean.code-workspace
  24. LICENSE
  25. LICENSES
  26. README.md
  27. 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).