Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/coredumps
commit
2e1a8e73dca96483ae48706ebd43be9251ba2031
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Fri Mar 21 16:10:26 2025 +0100
committer
GitHub <noreply@github.com>
Fri Mar 21 16:10:26 2025 +0100
tree
193772ecd05016e63cd81ca57faa8c1a0a4d254b
parent
b1a495f78f6f16f4cd04a71936bd48876765100a [diff] 
restrict again
1 file changed
tree: 193772ecd05016e63cd81ca57faa8c1a0a4d254b
  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).