Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/2e66341f69a0db9ef8b8e5255d0f0cfa73cdadc1
commit
2e66341f69a0db9ef8b8e5255d0f0cfa73cdadc1
[log]
author
Sebastian Ullrich <sebasti@nullri.ch>
Wed Feb 26 20:32:21 2025 +0100
committer
GitHub <noreply@github.com>
Wed Feb 26 19:32:21 2025 +0000
tree
eef17ebef0230344f1d8c2e3537bd7c46ddd0cb8
parent
2e44585ce91ad20c7d0571c9ee721c811950a562 [diff] 
feat: Environment.realizeConst (#7076)

This PR introduces the central parallelism API for ensuring that helper
declarations can be generated lazily without duplicating work or
creating conflicts across threads.
20 files changed
tree: eef17ebef0230344f1d8c2e3537bd7c46ddd0cb8
  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).