Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/bba5d25423aac649d1a7e2aaa0fda3929c74db7b
commit
bba5d25423aac649d1a7e2aaa0fda3929c74db7b
[log]
author
Kim Morrison <kim@tqft.net>
Wed Jun 05 13:28:57 2024 +1000
committer
Kim Morrison <kim@tqft.net>
Wed Jun 05 13:28:57 2024 +1000
tree
1faf6ce0345a53afb474528244a0337917d71b00
parent
e56ef82e68b24b1b1b3c3f4fdbb627dd6a2e03e5 [diff] 
deprecate str
3 files changed
tree: 1faf6ce0345a53afb474528244a0337917d71b00
  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. flake.lock
  18. flake.nix
  19. lean-toolchain
  20. lean.code-workspace
  21. LICENSE
  22. LICENSES
  23. README.md
  24. 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).