Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/dc53fac626e6ef43d1a2c05829d8844da22f3ec5
commit
dc53fac626e6ef43d1a2c05829d8844da22f3ec5
[log]
author
Leonardo de Moura <leomoura@amazon.com>
Mon Dec 22 10:07:30 2025 -0800
committer
GitHub <noreply@github.com>
Mon Dec 22 10:07:30 2025 -0800
tree
d015f89db666a0971a96d4ebc2da74003e76c1c3
parent
13c88f960f40b7c163b99e742010bbbbdbe8bba7 [diff] 
chore: use extensible `grind` attribute framework to implement `[grind]` itself (#11769)

This PR uses the new support for user-defined `grind` attributes to
implement the default `[grind]` attribute.

A manual update-stage0 is required because it affects the .olean files.
75 files changed
tree: d015f89db666a0971a96d4ebc2da74003e76c1c3
  1. .claude/
  2. .github/
  3. doc/
  4. images/
  5. releases_drafts/
  6. script/
  7. src/
  8. stage0/
  9. tests/
  10. .gitattributes
  11. .gitignore
  12. .gitpod.Dockerfile
  13. .gitpod.yml
  14. .ignore
  15. CMakeLists.txt
  16. CMakePresets.json
  17. CODEOWNERS
  18. CONTRIBUTING.md
  19. flake.lock
  20. flake.nix
  21. lean-toolchain
  22. lean.code-workspace
  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.