Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/time-tz-fallback
commit
413dee96f674c83368bedf71175506cd4506c1d3
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Mon May 11 21:44:06 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Mon May 11 21:44:06 2026 -0300
tree
9962e4b9a289b7f95fb73d30e0e65e5b3af7b075
parent
1c57b13d21b62f8d83c2b03bfc0a2cd7bdc14f9d [diff] 
fix: IO
1 file changed
tree: 9962e4b9a289b7f95fb73d30e0e65e5b3af7b075
  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.