Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/dbghelp
commit
374e5ad66a8b8a68a2690af8d995c64e6623731e
[log]
author
Gabriel Ebner <gebner@gebner.org>
Mon Jan 23 18:00:05 2023 -0800
committer
Gabriel Ebner <gebner@gebner.org>
Mon Jan 23 19:11:02 2023 -0800
tree
174d44ebce264fc845a1c5ddc35a303e4a879d96
parent
c5d3c43005130852e8fc99ba1e10b0a0a151c3c0 [diff] 
chore: only build small allocator if enabled

This prevents us from calling alloc/dealloc if LEAN_SMALL_ALLOCATOR is
disabled.
1 file changed
tree: 174d44ebce264fc845a1c5ddc35a303e4a879d96
  1. .github/
  2. .vscode/
  3. doc/
  4. images/
  5. nix/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitmodules
  13. .ignore
  14. CMakeLists.txt
  15. CONTRIBUTING.md
  16. default.nix
  17. flake.lock
  18. flake.nix
  19. LICENSE
  20. LICENSES
  21. README.md
  22. RELEASES.md
  23. shell.nix
README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.