Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/more_monadic
commit
0617943d4f41720a6bcfb6172a6e4f27ce7f0e48
[log]
author
Kim Morrison <kim@tqft.net>
Fri Jan 31 18:05:17 2025 +1100
committer
Kim Morrison <kim@tqft.net>
Fri Jan 31 18:05:17 2025 +1100
tree
ac75c429ce70ab864d0784a2d1cc63eb1bbaa80d
parent
84099e3b0b4b8fe6ad32e9361d80c6a66f0a64a4 [diff] 
finish
6 files changed
tree: ac75c429ce70ab864d0784a2d1cc63eb1bbaa80d
  1. .github/
  2. doc/
  3. images/
  4. nix/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitpod.Dockerfile
  13. .gitpod.yml
  14. .ignore
  15. CMakeLists.txt
  16. CMakePresets.json
  17. CODEOWNERS
  18. CONTRIBUTING.md
  19. flake.lock
  20. flake.nix
  21. lean-toolchain
  22. lean.code-workspace
  23. LICENSE
  24. LICENSES
  25. README.md
  26. 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).