Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/joachim/argspacker
commit
cf95495c8e809bd42d0a443417c4665381886342
[log]
author
Joachim Breitner <mail@joachim-breitner.de>
Thu Mar 14 15:44:50 2024 +0100
committer
Joachim Breitner <mail@joachim-breitner.de>
Thu Mar 14 15:44:50 2024 +0100
tree
239ba154517ad2f6094db7a4e39bebf7cbcb4935
parent
c283ff24f95aa694f5e0ad2550b6fa8736f151fb [diff]
parent
0959bc45d2a50b1dbae8c4cf0b867a03b8fd4ffe [diff] 
Merge branch 'master' of github.com:leanprover/lean4 into joachim/argspacker
tree: 239ba154517ad2f6094db7a4e39bebf7cbcb4935
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. script/
  6. src/
  7. stage0/
  8. tests/
  9. .gitattributes
  10. .gitignore
  11. .ignore
  12. CMakeLists.txt
  13. CODEOWNERS
  14. CONTRIBUTING.md
  15. default.nix
  16. flake.lock
  17. flake.nix
  18. lean-toolchain
  19. lean.code-workspace
  20. LICENSE
  21. LICENSES
  22. README.md
  23. RELEASES.md
  24. shell.nix
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.