Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/mimalloc-3.4.3
commit
fe8e83d2f790cb0b0f0fafa99082a48a2597aa6f
[log]
author
Sofia Rodrigues <sofia@algebraic.dev>
Thu Aug 13 15:36:52 2026 -0300
committer
Sofia Rodrigues <sofia@algebraic.dev>
Thu Aug 13 15:36:52 2026 -0300
tree
2f34e3513908fe4680812fdf435ee5ebb3115430
parent
def75fdfc2f92326e0e42d3380fe9434f80f3ffd [diff] 
chore: update mimalloc to v3.4.3

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
1 file changed
tree: 2f34e3513908fe4680812fdf435ee5ebb3115430
  1. .claude/
  2. .github/
  3. .vscode/
  4. doc/
  5. images/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. AGENTS.md ⇨ .claude/CLAUDE.md
  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. LICENSE
  24. LICENSES
  25. README.md
  26. 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.