Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/cce970cff1ecbe2814b9c56ea41527b38d2ab6ee
commit
cce970cff1ecbe2814b9c56ea41527b38d2ab6ee
[log]
author
Kim Morrison <kim@tqft.net>
Mon Mar 17 18:55:01 2025 +1100
committer
Kim Morrison <kim@tqft.net>
Mon Mar 17 18:55:01 2025 +1100
tree
f009de30adc54d1f64e7489ed44ea2573f3fe8a6
parent
2c0763190fb929c975132183fb30971bec48ac4d [diff] 
refix test
1 file changed
tree: f009de30adc54d1f64e7489ed44ea2573f3fe8a6
  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).