Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/pr-test-2
commit
820899b9fdbc93208c6d9afc0b9a5bd67b0c12e1
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Tue Nov 05 14:41:50 2024 +0100
committer
GitHub <noreply@github.com>
Tue Nov 05 14:41:50 2024 +0100
tree
3c5f1af53e18c1a1d59ebd93202919c36b6c0e38
parent
e9854bd7251fecddae724ea06b445edcb56226d7 [diff] 
fix: test
1 file changed
tree: 3c5f1af53e18c1a1d59ebd93202919c36b6c0e38
  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). ``