Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/async-move
commit
980515f2308b7fd46030177efe5dfbbb241a3e8e
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Thu Apr 23 00:31:10 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Thu Apr 23 00:31:10 2026 -0300
tree
d9df8418362561ea4ae3624815eabe9c875da4eb
parent
ba1fffcc547b9be4cb27e63d1f0913d79736093d [diff] 
fix: tests
4 files changed
tree: d9df8418362561ea4ae3624815eabe9c875da4eb
  1. .claude/
  2. .github/
  3. .vscode/
  4. doc/
  5. images/
  6. releases_drafts/
  7. script/
  8. src/
  9. stage0/
  10. tests/
  11. AGENTS.md ⇨ .claude/CLAUDE.md
  12. .gitattributes
  13. .gitignore
  14. .gitpod.Dockerfile
  15. .gitpod.yml
  16. .ignore
  17. CMakeLists.txt
  18. CMakePresets.json
  19. CODEOWNERS
  20. CONTRIBUTING.md
  21. flake.lock
  22. flake.nix
  23. lean-toolchain
  24. LICENSE
  25. LICENSES
  26. README.md
  27. RELEASES.md
README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.