Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/monadic_improvements
commit
d170848e1c2f4cc3a99fde90a353842878a58737
[log]
author
Kim Morrison <kim@tqft.net>
Fri Feb 07 14:39:47 2025 +1100
committer
Kim Morrison <kim@tqft.net>
Fri Feb 07 14:39:47 2025 +1100
tree
518f42209d4ada9ab39b7a790199066da0f0c7fc
parent
67851492718c93110906efc80b49af663c421949 [diff] 
upstream more
4 files changed
tree: 518f42209d4ada9ab39b7a790199066da0f0c7fc
  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).