Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/joachim/fixed-params
commit
e8d41de7bfb4823fc318ef6e093c5fb115617c32
[log]
author
Joachim Breitner <mail@joachim-breitner.de>
Tue Mar 04 23:03:42 2025 +0100
committer
Joachim Breitner <mail@joachim-breitner.de>
Tue Mar 04 23:03:42 2025 +0100
tree
0114fc54f2603003c5b81bb57efcfa11506cdaf6
parent
02efe0a6736e74236290b2b2cc3e37f182b92ba0 [diff] 
Like this
1 file changed
tree: 0114fc54f2603003c5b81bb57efcfa11506cdaf6
  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).